procedure Seqimage(e) local s1 s1 := "" while s1 ||:= ", " || image(@e) return "{" || s1[3:0] || "}" | "{}" end