On Feb 20, 2012, at 3:16 AM, Walter Bright wrote: > On 2/20/2012 3:02 AM, Manu wrote: >> ? I must have misunderstood something... I've never seen a 64bit C compiler >> where 'int' is 64bits. > > What are you using in C code for a most efficient integer type? I can't answer for Manu, but I imagine one should probably use int_fast32_t, etc.