procedure main()
   s := ", world"
   s[1:1] ||:= "Hello"
   write(s)
end