public static Stella_Object defDisplayGlobals(Symbol displayfunctionname, Cons globalvariablenames) {
    { Cons printclauses = Stella.NIL;

      { Symbol g = null;
        Cons iter000 = globalvariablenames.reverse();

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          g = ((Symbol)(iter000.value));
          printclauses = Cons.append(Cons.cons(StringWrapper.wrapString(g.symbolName), Cons.list$(Cons.cons(StringWrapper.wrapString(" =  "), Cons.cons(g, Cons.cons(Cons.cons(Logic.SYM_STELLA_EOL, Stella.NIL), Stella.NIL))))), printclauses);
        }
      }
      return (Cons.list$(Cons.cons(Logic.SYM_STELLA_DEFUN, Cons.cons(Cons.cons(displayfunctionname, Cons.cons(Logic.SYM_STELLA_STRING, Stella.NIL)), Cons.cons(Stella.NIL, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_PRINT, Cons.cons(Logic.SYM_STELLA_EOL, Cons.cons(printclauses.concatenate(Cons.cons(Logic.SYM_STELLA_EOL, Stella.NIL), Stella.NIL), Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_RETURN, Cons.cons(StringWrapper.wrapString(""), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))))));
    }
  }