“Earl Sawyer suggested that help be asked from Aylesbury or Arkham, but others maintained it would be unnecessary to know the origin of the symbols if, as he suspected, they were used as a temporary measure while renaming variables.”