var i = -0b0111111111111111  # -(32767) = -32767
var j = -0b1000000000000001  # -(-32767) = 32767
var k = -0b1111111111111111  # -(-1) = 1

var ok = 0

if (i == -32767 and j ==32767 and k == 1) then
	ok = 1
end

