I thought he was just a character from Cryptonomicon.