constant_time_msb_64
return constant_time_msb_64(a ^ ((a ^ b) | ((a - b) ^ b)));
return constant_time_msb_64(~a & (a - 1));
static ossl_inline uint64_t constant_time_msb_64(uint64_t a);