[ Kod ] procedura

var x := 1.
 {
 	(x = 1) prawdziwe: { Stdout pisać: ['x']. }, przerwa.
 	Stdout pisać: ['y'].
 } procedura.

 {
 	(x = 1) prawdziwe: { Stdout pisać: ['x']. }, przerwa.
 	Stdout pisać: ['y'].
 } × 1.