[ Cod ] procedură

☞ x ≔ 1.
 {
 	(x = 1) adevărat: { ✎ scrie: ‘x’. }, opreşte.
 	✎ scrie: ‘y’.
 } procedură.

 {
 	(x = 1) adevărat: { ✎ scrie: ‘x’. }, opreşte.
 	✎ scrie: ‘y’.
 } × 1.