[ รหัส ] ขั้นตอน

var x := 1.
 {
 	(x = 1) ใช่: { Stdout เขียน: ['x']. }, หยุดพัก.
 	Stdout เขียน: ['y'].
 } ขั้นตอน.

 {
 	(x = 1) ใช่: { Stdout เขียน: ['x']. }, หยุดพัก.
 	Stdout เขียน: ['y'].
 } × 1.