public static String guiNameToPlName(String name) {
    if (Stella.qualifiedStellaNameP(name)) {
      { String barename = null;
        String module = null;
        Keyword type = null;

        { Object [] caller_MV_returnarray = new Object[2];

          barename = Stella.parseStellaName(name, false, caller_MV_returnarray);
          module = ((String)(((StringWrapper)(caller_MV_returnarray[0])).wrapperValue));
          type = ((Keyword)(caller_MV_returnarray[1]));
        }
        type = type;
        if (barename.charAt(0) == '|') {
          return (module + "/" + barename + "");
        }
        else {
          return (module + "/|" + barename + "|");
        }
      }
    }
    else {
      if (name.charAt(0) == '|') {
        return (name);
      }
      else {
        return ("|" + name + "|");
      }
    }
  }