* @return Stella_Object
   */
  public static Stella_Object allDefinedP(Cons forms) {
    switch (forms.length()) {
      case 0: 
        return (Stella.SYM_STELLA_TRUE);
      case 1: 
        return (Cons.list$(Cons.cons(Stella.SYM_STELLA_DEFINEDp, Cons.cons(forms.value, Cons.cons(Stella.NIL, Stella.NIL)))));
      default:
        { Cons tests = Stella.NIL;

          { Stella_Object f = null;
            Cons iter000 = forms;
            Cons collect000 = null;

            for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
              f = iter000.value;
              if (collect000 == null) {
                {
                  collect000 = Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_DEFINEDp, Cons.cons(f, Cons.cons(Stella.NIL, Stella.NIL)))), Stella.NIL);
                  if (tests == Stella.NIL) {
                    tests = collect000;
                  }
                  else {
                    Cons.addConsToEndOfConsList(tests, collect000);
                  }
                }
              }
              else {
                {
                  collect000.rest = Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_DEFINEDp, Cons.cons(f, Cons.cons(Stella.NIL, Stella.NIL)))), Stella.NIL);
                  collect000 = collect000.rest;
                }
              }
            }
          }
          return (Cons.cons(Stella.SYM_STELLA_AND, tests.concatenate(Stella.NIL, Stella.NIL)));
        }
    }
  }