read_directory_of_file
read_directory_of_file(target);
extern void read_directory_of_file(Name file);
read_directory_of_file(target_body);