public void visitNEWARRAY(NEWARRAY obj)			{ pushValue(obj.getType()); }
public void visitNEWARRAY(NEWARRAY obj)			{ consumeStack(obj); pushValue(obj.getType()); }
	public void visitNEWARRAY(NEWARRAY obj)			{ pushValue(obj.getType()); }