The Extended Oberon GC for dynamic arrays of records previously used an incorrect increment when traversing the array of pointer offsets in the type descriptor of the record (1 instead of 4). This is fixed now. See Kernel.Mark.