pub const DBHHEADER_PDBGUID: u32 = 3u32;