public static Cons cppListDirectoryFiles(String directory) {
    { Cons files = Stella.NIL;

      if (files == null) {
        { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

          stream000.nativeStream.print("list-directory-files: error reading `" + directory + "'");
          throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
        }
      }
      return (files);
    }
  }