64 bits => 32 bits