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