Примеры использования оператора с постусловием в Pascal