object get_section_contents(object user_data) { byte[] data = bfd.GetSectionContents(section); if (data == null) { throw new SymbolTableException("Can't get bfd section {0}", name); } return(new TargetReader(data, bfd.info)); }