uint128_t
static uint128_t mul_64_64(u64 left, u64 right)
uint128_t result;
static bool check_add_128_128_overflow(uint128_t *result, uint128_t a,
uint128_t b)
uint128_t r01 = { 0, 0 };
uint128_t product;
uint128_t r01 = { 0 };
uint128_t product;
uint128_t r01 = { 0, 0 };
uint128_t product;