working on forall array parsing: