public static boolean handleInModuleTree(Cons tree, boolean seeninmoduleP, boolean erroroninmoduleP, Object [] MV_returnarray) {
    { Stella_Object operator = tree.value;
      Stella_Object firstarg = null;

      if (Surrogate.subtypeOfSymbolP(Stella_Object.safePrimaryType(operator))) {
        { Symbol operator000 = ((Symbol)(operator));

          { String testValue000 = (((Module)(Stella.$MODULE$.get())).caseSensitiveP ? Native.stringUpcase(operator000.symbolName) : operator000.symbolName);

            if (Stella.stringEqlP(testValue000, "IN-PACKAGE")) {
              { boolean _return_temp = true;

                MV_returnarray[0] = BooleanWrapper.wrapBoolean(seeninmoduleP);
                return (_return_temp);
              }
            }
            else if (Stella.stringEqlP(testValue000, "IN-MODULE")) {
              if (seeninmoduleP &&
                  erroroninmoduleP) {
                { Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();

                  try {
                    Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
                    Stella.signalTranslationError();
                    if (!(Stella.suppressWarningsP())) {
                      Stella.printErrorContext(">> ERROR: ", Stella.STANDARD_ERROR);
                      {
                        Stella.STANDARD_ERROR.nativeStream.println();
                        Stella.STANDARD_ERROR.nativeStream.println(" Additional IN-MODULE declaration: `" + Stella_Object.deUglifyParseTree(tree) + "'.");
                      }
;
                    }

                  } finally {
                    Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
                  }
                }
                { boolean _return_temp = false;

                  MV_returnarray[0] = BooleanWrapper.wrapBoolean(seeninmoduleP);
                  return (_return_temp);
                }
              }
              firstarg = tree.rest.value;
              if (Surrogate.subtypeOfStringP(Stella_Object.safePrimaryType(firstarg))) {
                { StringWrapper firstarg000 = ((StringWrapper)(firstarg));

                  Stella.string_changeModule(firstarg000.wrapperValue);
                  seeninmoduleP = true;
                }
              }
              else {
                { Object old$PrintreadablyP$001 = Stella.$PRINTREADABLYp$.get();

                  try {
                    Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
                    Stella.signalTranslationWarning();
                    if (!(Stella.suppressWarningsP())) {
                      Stella.printErrorContext(">> WARNING: ", Stella.STANDARD_WARNING);
                      {
                        Stella.STANDARD_WARNING.nativeStream.println();
                        Stella.STANDARD_WARNING.nativeStream.println(" Ignoring illegal IN-MODULE declaration: `" + Stella_Object.deUglifyParseTree(tree) + "'.");
                      }
;
                    }

                  } finally {
                    Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$001);
                  }
                }
              }
              { boolean _return_temp = false;

                MV_returnarray[0] = BooleanWrapper.wrapBoolean(seeninmoduleP);
                return (_return_temp);
              }
            }
            else if (Stella.stringEqlP(testValue000, "DEFMODULE") ||
                Stella.stringEqlP(testValue000, "VERBATIM")) {
            }
            else {
              if (!(seeninmoduleP)) {
                { Object old$PrintreadablyP$002 = Stella.$PRINTREADABLYp$.get();

                  try {
                    Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
                    Stella.signalTranslationWarning();
                    if (!(Stella.suppressWarningsP())) {
                      Stella.printErrorContext(">> WARNING: ", Stella.STANDARD_WARNING);
                      {
                        Stella.STANDARD_WARNING.nativeStream.println();
                        Stella.STANDARD_WARNING.nativeStream.println(" Missing IN-MODULE declaration, translating into module STELLA.");
                      }
;
                    }

                  } finally {
                    Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$002);
                  }
                }
                Stella.string_changeModule("STELLA");
                seeninmoduleP = true;
              }
            }
          }
        }
      }
      else {
      }
      { boolean _return_temp = false;

        MV_returnarray[0] = BooleanWrapper.wrapBoolean(seeninmoduleP);
        return (_return_temp);
      }
    }
  }