procedure main()
    L1 := [1, 2, 3, 4]
    L2 := [11, 12, 13, 14]
    L3 := L1 ||| L2

    sep := ""
    every writes(sep, !L3) do
        sep := ", "
    write()
end