public static Cons cppTranslateListOfTrees(Cons trees) {
    { Cons cursor = trees;

      while (!(cursor == Stella.NIL)) {
        cursor.value = Stella_Object.cppTranslateATree(cursor.value);
        cursor = cursor.rest;
      }
      return (trees);
    }
  }