Vm._assert(pool.request(lsbReg, item), "request-lsb"); Vm._assert(pool.request(msbReg, item), "request-msb");
Vm._assert(lsbOk, "request-lsb"); Vm._assert(msbOk, "request-msb");
		public void writePUSH64(int jvmType, X86Register.GPR lsbReg,				X86Register.GPR msbReg) {			final Item item = ifac.createReg(ec, jvmType, lsbReg, msbReg);			if (Vm.VerifyAssertions) {				Vm._assert(pool.request(lsbReg, item), "request-lsb");				Vm._assert(pool.request(msbReg, item), "request-msb");			}			push(item);		}