turns out 64bit registers are bigger than 32bit registers