MODULE; IMPORT Fmt; PROCEDURE RefIntArray ToText (ia: REF IntArray): TEXT = VAR res := "["; BEGIN FOR i := 0 TO LAST(ia^) DO res := res & Fmt.Int(ia[i]); IF i < LAST(ia^) THEN res := res & ", " END END; RETURN res & "]" END ToText; BEGIN END RefIntArray.