public void visitINVOKESPECIAL(INVOKESPECIAL obj) { pushReturnType(obj); }
public void visitINVOKESPECIAL(INVOKESPECIAL obj) { consumeStack(obj); pushReturnType(obj); }
	public void visitINVOKESPECIAL(INVOKESPECIAL obj) { pushReturnType(obj); }