procedure scan_for_file_ghosts (
directory_path : in String;
file_ghosts : out Filename_Container.Vector;
directory_ghosts : out Filename_Container.Vector);
-- Given an existing directory path, the procedure will produce
-- both a list of deleted directories and a list of files deleted
-- (but with available version) from that directory