* @param module
   * @return Stella_Object
   */
  public static Stella_Object unstringifyInModule(String string, Module module) {
    if (module == null) {
      module = ((Module)(Stella.$MODULE$.get()));
    }
    { Object old$Module$000 = Stella.$MODULE$.get();
      Object old$Context$000 = Stella.$CONTEXT$.get();

      try {
        Native.setSpecial(Stella.$MODULE$, module);
        Native.setSpecial(Stella.$CONTEXT$, ((Module)(Stella.$MODULE$.get())));
        return (Stella.readSExpressionFromString(string));

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