Added 64bit asm push