public void visitLDC(LDC obj)					{ pushValue(obj.getType(cpg)); }
public void visitLDC(LDC obj)					{ pushValue(obj.getType(getCPG())); }
	public void visitLDC(LDC obj)					{ pushValue(obj.getType(cpg)); }