whoi_directory_tree
