ecb_rotl16
ecb_inline ecb_const uint16_t ecb_rotl16 (uint16_t x, unsigned int count);
return ecb_rotl16 (x, 8);