Il me semble bien que sur TI les int font 16 bits, comme les short. Je me suis déjà fait avoir avec ça...