review.sourcearcade.org / filo-scratch / 9072090bd2c225971476eba313eaca71e9fb8db5 / src / filo-fs-nullfs.ads