public static String plObjectToGuiName(Stella_Object x) {
    { Module homemodule = x.homeModule();
      Surrogate surrogate = Logic.objectSurrogate(x);

      if ((surrogate == null) &&
          Stella_Object.surrogateP(x)) {
        surrogate = ((Surrogate)(x));
      }
      if (surrogate != null) {
        if (!(homemodule == ((Module)(surrogate.homeContext)))) {
          return (((Module)(surrogate.homeContext)).moduleName + "/" + surrogate.symbolName);
        }
        else {
          return (surrogate.symbolName);
        }
      }
      else {
        return (edu.isi.powerloom.PLI.objectToString(x));
      }
    }
  }