ecb_ld32
return r + ecb_ld32 (x);
unsigned int s = 10 - ecb_ld32 (m);
ecb_function_ ecb_const int ecb_ld32 (uint32_t x);