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