int may be smaller than 32 bits.