[ Kode ] prosedur

var x := 1.
 {
 	(x = 1) benar: { Stdout menulis: ['x']. }, istirahat.
 	Stdout menulis: ['y'].
 } prosedur.

 {
 	(x = 1) benar: { Stdout menulis: ['x']. }, istirahat.
 	Stdout menulis: ['y'].
 } × 1.