don't use 64bit registers for everything