review.sourcearcade.org / filo-scratch / 52f4c8d4d790aa18c6f70c63632e13573cd3049d / src / filo-fs-nullfs.adb