use `unsigned __int128' instead of legacy typedef `__uint128_t'