definition module pdSections; import StdClass; // Windows dependent part of section header :: PDSectionHeader = { section_name :: !String , section_rva :: !Int , section_flags :: !Int }; DefaultPDSectionHeader :: PDSectionHeader; :: SectionHeadKind = StartPrefix | TextSectionHeader | DataSectionHeader | BssSectionHeader | IDataSectionHeader | EDataSectionHeader | RelocSectionHeader | ResourceSectionHeader | UserSectionHeader !String !Int !Int | NoSectionHeader ; instance == SectionHeadKind; instance toString SectionHeadKind;