typedef struct { uint64_t high, low; } uint128_t;