[Oberon] GC for dynamic arrays of records in Extended Oberon fixe