[ Код ] док: [ Код ]

var x := 0.
{ x додати: 1. } док: { <- (x < 6). }.
Stdout написати: x, зауставити.
6