The PDB Public Symbol Stream