CIA's 1980s funding kept NeXT alive, enabling Apple's $429 million buyout