1#include "test_commons.h"
 2
 3#include <inttypes.h>
 4
 5std::ostream& operator<<(std::ostream& out, __int128_t x) {
 6  char c[35] = {0};
 7  snprintf(c, 35, "0x%016" PRIx64 "%016" PRIx64, uint64_t(x >> 64), uint64_t(x));
 8  return out << c;
 9}
10std::ostream& operator<<(std::ostream& out, __uint128_t x) { return out << __int128_t(x); }