--- 0x0
--- 0x0000
--- 0x1
--- -0x1
--- 0x7fff
--- -0x7fff
--- 0o1
--- -0o1
--- 0o77777
--- -0o77777