[ Código ] procedemento

☞ x ≔ 1.
 {
 	(x = 1) certo: { ✎ escribir: ‘x’. }, romper.
 	✎ escribir: ‘y’.
 } procedemento.

 {
 	(x = 1) certo: { ✎ escribir: ‘x’. }, romper.
 	✎ escribir: ‘y’.
 } × 1.