[ Kodirati ] dok: [ Kodirati ]

var x := 0.
{ x dodati: 1. } dok: { <- (x < 6). }.
Stdout pisati: x, stop.
6