Update exec64.asm