402d7f9b48880ba5a919177db62"}, [0x7, 0x3, 0x0, 0x42, 0x1, 0xfffffffffffffff9, 0x0, 0x3, 0xff, 0x9, 0x6, 0x1000, 0x2, 0xa5ff, 0x8, 0x4, 0x2, 0x6, 0x721, 0x97, 0x7, 0x5, 0x1, 0x8, 0x800, 0x9, 0x1ff, 0x0, 0x8, 0x2400000000000000, 0x879, 0x5, 0xffffffffffffffff, 0x3f, 0x2, 0x7, 0x5ba, 0x5, 0x80, 0x3, 0xfffffffffffffff9, 0x7, 0x99cc, 0x5, 0x0, 0x3f, 0x9, 0x7, 0x3, 0xb430, 0x3f, 0x0, 0x8, 0x8, 0x2, 0xa8b, 0x6, 0xb2, 0x8, 0x4, 0x7, 0x6, 0x4, 0xfffffffffffffffa]})
BUG: leak checking failed