PdbFile: typeof LOCAL_PDB_FILES[number] | string & {}