*/
  public List listify() {
    { Cons self = this;

      { List self000 = List.newList();

        self000.theConsList = self;
        { List value000 = self000;

          return (value000);
        }
      }
    }
  }