[ Código ] procedemento

var x := 1.
 {
 	(x = 1) certo: { Stdout escribir: ['x']. }, romper.
 	Stdout escribir: ['y'].
 } procedemento.

 {
 	(x = 1) certo: { Stdout escribir: ['x']. }, romper.
 	Stdout escribir: ['y'].
 } × 1.