I had one tell me all ints are 16 bits, and then they said 0xffff is a 32bit number.