Using 32bits integers instead of 64 bits