The satellite’s software was incredible. The code was built to mind-boggling, unheard-of security specs. It made AT&T switching station software—the most paranoid commercial code Van had ever worked on—look as loose and scattered as empty Schlitz cans at a beer bust.