public void visitNEWARRAY(NEWARRAY obj)			{ consumeStack(obj); pushValue(obj.getType()); }
public void visitNEWARRAY(NEWARRAY obj) { consumeStack(obj); Type elementType = obj.getType(); pushValue(new ArrayType(elementType, 1)); }
	public void visitNEWARRAY(NEWARRAY obj)			{ consumeStack(obj); pushValue(obj.getType()); }