Mixed up 64/32 bit