public static Stella_Object walkVerbatimTree(Cons tree, Object [] MV_returnarray) {
    { PropertyList self000 = PropertyList.newPropertyList();

      self000.thePlist = tree.rest;
      { PropertyList options = self000;
        Stella_Object verbatimtree = options.lookup(((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get())));

        if (verbatimtree == null) {
          verbatimtree = options.lookup(Stella.KWD_OTHERWISE);
          if (verbatimtree == null) {
            { 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(" Verbatim statement has no `" + ((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get())) + "' option..");
                  }
;
                }

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

              MV_returnarray[0] = Stella.SGT_STELLA_UNKNOWN;
              return (_return_temp);
            }
          }
          if (!(verbatimtree == Stella.SYM_STELLA_NULL)) {
            return (Stella_Object.walkATree(verbatimtree, MV_returnarray));
          }
        }
        if (verbatimtree == Stella.SYM_STELLA_NULL) {
          { Stella_Object _return_temp = null;

            MV_returnarray[0] = Stella.SGT_STELLA_UNKNOWN;
            return (_return_temp);
          }
        }
        if (Surrogate.subtypeOfStringP(Stella_Object.safePrimaryType(verbatimtree))) {
          { StringWrapper verbatimtree000 = ((StringWrapper)(verbatimtree));

            options.insertAt(((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get())), VerbatimStringWrapper.newVerbatimStringWrapper(verbatimtree000.wrapperValue));
          }
        }
        else {
        }
        { Stella_Object _return_temp = tree;

          MV_returnarray[0] = Stella.SGT_STELLA_UNKNOWN;
          return (_return_temp);
        }
      }
    }
  }