/* 7.1.1: unsigned char */