public void visitCHECKCAST(CHECKCAST obj)		{ consumeStack(obj); pushValue(obj.getType(cpg)); }
public void visitCHECKCAST(CHECKCAST obj)		{ consumeStack(obj); pushValue(obj.getType(getCPG())); }
	public void visitCHECKCAST(CHECKCAST obj)		{ consumeStack(obj); pushValue(obj.getType(cpg)); }