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