For 64 bits