[ Tarea ] procedimiento

>> x := 1.
 {
 	(x = 1) verdadero: { Salida escribir: ['x']. }, salir.
 	Salida escribir: ['y'].
 } procedimiento.

 {
 	(x = 1) verdadero: { Salida escribir: ['x']. }, salir.
 	Salida escribir: ['y'].
 } × 1.