public static void closeAllFiles() {
    { List openstreams = Stella.$OPEN_FILE_STREAMS$.copy();

      { Stream stream = null;
        Cons iter000 = openstreams.theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          stream = ((Stream)(iter000.value));
          Stream.closeStream(stream);
        }
      }
      openstreams.free();
    }
  }