[ Κώδικας ] διαδικασία

var x := 1.
 {
 	(x = 1) αληθής: { Stdout γράφω: ['x']. }, Διακοπή.
 	Stdout γράφω: ['y'].
 } διαδικασία.

 {
 	(x = 1) αληθής: { Stdout γράφω: ['x']. }, Διακοπή.
 	Stdout γράφω: ['y'].
 } × 1.