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