Size of basic types

[Jean-Eric Cuendet]

> Can you use:
> 
>  int32_t
> 
> from <stdint.h>?

Its *is* 32 bits! :-)
But it's just a typedef on int
So useless in my case...