[ Úloha ] procedúra

var x := 1.
 {
 	(x = 1) true: { Stdout píšu: ['x']. }, prestávka.
 	Stdout píšu: ['y'].
 } procedúra.

 {
 	(x = 1) true: { Stdout píšu: ['x']. }, prestávka.
 	Stdout píšu: ['y'].
 } × 1.