[ Tasca ] procediment

var x := 1.
 {
 	(x = 1) cert: { Stdout escriu: ['x']. }, trencar.
 	Stdout escriu: ['y'].
 } procediment.

 {
 	(x = 1) cert: { Stdout escriu: ['x']. }, trencar.
 	Stdout escriu: ['y'].
 } × 1.