[ Kodas ] procedūra

var x := 1.
 {
 	(x = 1) tiesa: { Stdout atspausdinti: ['x']. }, stabdyti.
 	Stdout atspausdinti: ['y'].
 } procedūra.

 {
 	(x = 1) tiesa: { Stdout atspausdinti: ['x']. }, stabdyti.
 	Stdout atspausdinti: ['y'].
 } × 1.