widemul
static ossl_inline uint64_t widemul(uint32_t a, uint32_t b)
static ossl_inline uint128_t widemul(uint64_t a, uint64_t b)