-32767: -32767 = #8001 = 1000000000000001