os.writeMOV(INTSIZE, tmp, FP, ebpOfs); os.writeJMP(tmp);   releaseRegister(tmp);
os.writeJMP(FP, ebpOfs);
	public final void visit_ret(int index) {		// Calc EBP offset		final int ebpOfs = stackFrame.getEbpOffset(index);		// Claim tmp register		final Register tmp = requestRegister(JvmType.INT, false);		// Load ret & jmp		os.writeMOV(INTSIZE, tmp, FP, ebpOfs);		os.writeJMP(tmp);		// Release		releaseRegister(tmp);	}