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); }