public void visitARRAYLENGTH(ARRAYLENGTH obj)	{ pushValue(Type.INT); }
public void visitARRAYLENGTH(ARRAYLENGTH obj)	{ consumeStack(obj); pushValue(Type.INT); }
	public void visitARRAYLENGTH(ARRAYLENGTH obj)	{ pushValue(Type.INT); }