use jrcxz for 64bit