strictly defined int to int16_t