private static ISection get_decorated_section(ElfFile bf, ISection section, string add_to_name) { var decorated_name = section.Name + add_to_name; var sect = bf.FindSection(decorated_name); if (sect == null) { sect = bf.CopySectionType(section, decorated_name); } return(sect); }