[i_am_a_peasant]

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