[ Compito ] procedura

var x := 1.
 {
 	(x = 1) vero: { Stdout scrivi: ['x']. }, interrompere.
 	Stdout scrivi: ['y'].
 } procedura.

 {
 	(x = 1) vero: { Stdout scrivi: ['x']. }, interrompere.
 	Stdout scrivi: ['y'].
 } × 1.