Declaration Tree
filenames Package spec
| fullname Function spec
| volumename Function spec
| pathname Function spec
| filename Function spec
| typename Function spec
| existent Function spec
filenames Package body
| sep Function body
| volumename Function body
| pathname Function body
| filename Function body
| typename Function body
| fullname Function body
| | checked Function body
| | name_then_close Function body
| existent Function body
format_string Generic Function spec
format_string Generic Function body