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