[ True, ()
, 255, 65535, 4294967295, 18446744073709551615, ()
, 127, 32767, 2147483647, 9223372036854775807, ()
, -127, -32767, -2147483647, -9223372036854775807, ()
, 0, 28446744073709551615, 28446744073709551615, -28446744073709551615, ()
, "hello world", "", ()
, 1.0, -100.00009, ()
]
Roundtrip succeeded!
