[ Sau ] + [ Sau ]

var x := Sau ← 1 ; 2.
var y := Sau ← 3 ; 4.
var z := x + y.
Stdout sau-ntawv: z, tsum.
Sau ← 1 ; 2 ; 3 ; 4