void lib$find_file () { }