* @param module
   * @param environment
   * @return String
   */
  public static String getNameInModule(Stella_Object obj, Module module, Environment environment) {
    { Module mdl000 = module;
      Context cxt000 = mdl000;

      if (mdl000 == null) {
        mdl000 = ((Module)(Stella.$MODULE$.get()));
        cxt000 = ((Context)(Stella.$CONTEXT$.get()));
      }
      { Object old$Module$000 = Stella.$MODULE$.get();
        Object old$Context$000 = Stella.$CONTEXT$.get();

        try {
          Native.setSpecial(Stella.$MODULE$, mdl000);
          Native.setSpecial(Stella.$CONTEXT$, cxt000);
          environment = environment;
          synchronized (Logic.$POWERLOOM_LOCK$) {
            { Surrogate testValue000 = Stella_Object.safePrimaryType(obj);

              if (Surrogate.subtypeOfP(testValue000, Logic.SGT_LOGIC_SKOLEM)) {
                { Skolem obj000 = ((Skolem)(obj));

                  return (null);
                }
              }
              else if (Surrogate.subtypeOfP(testValue000, Logic.SGT_LOGIC_LOGIC_OBJECT)) {
                { LogicObject obj000 = ((LogicObject)(obj));

                  return (Native.stringify(Logic.objectName(obj000)));
                }
              }
              else if (Surrogate.subtypeOfP(testValue000, Logic.SGT_STELLA_GENERALIZED_SYMBOL)) {
                { GeneralizedSymbol obj000 = ((GeneralizedSymbol)(obj));

                  return (Native.stringify(obj000));
                }
              }
              else if (Surrogate.subtypeOfP(testValue000, Logic.SGT_STELLA_MODULE)) {
                { Module obj000 = ((Module)(obj));

                  return (obj000.moduleFullName);
                }
              }
              else if (Surrogate.subtypeOfP(testValue000, Logic.SGT_STELLA_CONTEXT)) {
                { Context obj000 = ((Context)(obj));

                  return (obj000.contextName());
                }
              }
              else if (Surrogate.subtypeOfP(testValue000, Logic.SGT_LOGIC_COMPUTED_PROCEDURE)) {
                { ComputedProcedure obj000 = ((ComputedProcedure)(obj));

                  return (Native.stringify(obj000.surrogateValueInverse));
                }
              }
              else {
                return (null);
              }
            }
          }

        } finally {
          Stella.$CONTEXT$.set(old$Context$000);
          Stella.$MODULE$.set(old$Module$000);
        }
      }
    }
  }