本章で説明する手続きには引き数としてファイル名を取る手続きがいくつかある。そのようなファイル名について有効な値は、実装系の動作する OS におけるファイルシステム由来のパス表記でのファイル名の文字列表現であり、またさらに実装系依存の値であってもかまわない。
仮引き数名 filename は対応する引き数がファイル名でなければならないことを意味する。