/* 7.1.2: signed char */