Генерация высококачественного кода для программ, написанных на СИ