Úloha

var x := { :a :b :c <- a + b + c. } platí: 1 a: 2 i: 3.
 Stdout píšu: x, zastávka.