add_path p add the p to the load path

get_path () returns all the paths in the load path

get_find_object_file lc md returns the path assoiated to the module md or raise an exception

object_file_of_input returns the filename associated to the input

get_file md returns the path associated to module md

find_dk md path looks for the ".dk" file corresponding to the module named name in the directories of path. If no corresponding file is found, or if there are several possibilities, the program fails with a graceful error message.