foreach(sort(get_dir()), string file)
    write(file +"\n");