public void visitIXOR(IXOR obj)					{ pushValue(Type.INT); }
public void visitIXOR(IXOR obj)					{ consumeStack(obj); pushValue(Type.INT); }
	public void visitIXOR(IXOR obj)					{ pushValue(Type.INT); }