constant_time_msb_32
return constant_time_msb_32(a ^ ((a ^ b) | ((a - b) ^ b)));
return constant_time_msb_32(~a & (a - 1));
static ossl_inline uint32_t constant_time_msb_32(uint32_t a);