Это пример рассказывают всем, кто начинает программировать. Так улетел на воздух первый миллиард в освоении космоса. Сейчас программы состоят из миллиардов строчек кода. Их не то, что проверить не возможно, их просмотреть проблема. Причём если вредная заглушка построена правильно, её тестированием не найти. Она будет реагировать только на самые экзотические реакции противника. И даже может самоликвидироваться вся система по команде со стороны. Мне даже потенциально страшно, что там намешаю в программном коде агенты России и США соответственно, если такие системы начнут воплощать в жизнь.