VAL (01, 0x0)
VAL (02, 0x1)
VAL (03, 0x3f)
VAL (04, 0x80)
VAL (05, -0x1)
VAL (06, -0x3f)
VAL (07, 0x4000000000000000)
VAL (08,-0x4000000000000000)

VAL (10,-0x7fffffffffffffff)
VAL (11, 0x7fffffffffffffff)
VAL (12, 0x7f80000000000000)
VAL (13,-0x7f80000000000000)
VAL (14, 0x7f80000000000001)
VAL (15,-0x7f80000000000001)
VAL (16, 0x7f7f7f7f7f7f7f7f)
VAL (17,-0x7f7f7f7f7f7f7f7f)
VAL (18, 0x7f80808080808000)
VAL (19,-0x7f80808080808000)
VAL (20, 0x3e80000000000000)
VAL (21,-0x3e80000000000000)
VAL (22, 0x3f80000000000000)
VAL (23,-0x3f80000000000000)
VAL (24, 0x40000000000000)
VAL (25,-0x40000000000000)
VAL (26, 0x3f000000000000)
VAL (27,-0x3f000000000000)
VAL (28, 0xffffff00)
VAL (29,-0xffffff00)
VAL (30, 0x00ff00ff00ff00ff)
VAL (31,-0x00ff00ff00ff00ff)

