procedure main()
    s := "foo"
    s ||:= "bar"
    write(s)
end