int16
static int int16_nonzero_mask(int16 x)
static int int16_negative_mask(int16 x)
static small F3_freeze(int16 x)
typedef int16 Fq;
int16_t int16;
SDP_GET16(value.int16, start);
printf("int16 %d\n", value.int16);