[Oberon] DeLOOPing ATADisks.Mod in ETH Oberon 2.3.7.