долго думал, почему есть циклы с предусловием и постусловием, а с условием по середине - нет. написав свой говнокомпилятор, я наконец понел.