void WritePdbId() { // PDB ID is the first 20 bytes of the PdbHeap writer.MoveToRVA(TextSegment.PdbHeap); writer.WriteBytes(pdb_id_guid.ToByteArray()); writer.WriteUInt32(pdb_id_stamp); }