[ Cod ] procedură

var x := 1.
 {
 	(x = 1) adevărat: { Stdout scrie: ['x']. }, opreşte.
 	Stdout scrie: ['y'].
 } procedură.

 {
 	(x = 1) adevărat: { Stdout scrie: ['x']. }, opreşte.
 	Stdout scrie: ['y'].
 } × 1.