Доказательство правильности программ. Структурное программирование Пример использования структурных данных