-void ObjReadSections (FILE* F, ObjData* O);
-/* Read the section data from a file at the current position */
+void ObjReadDbgSyms (FILE* F, unsigned long Pos, ObjData* O);
+/* Read the debug symbols from a file at the given position */
+
+void ObjReadLineInfos (FILE* F, unsigned long Pos, ObjData* O);
+/* Read the line infos from a file at the given position */
+
+void ObjReadStrPool (FILE* F, unsigned long Pos, ObjData* O);
+/* Read the string pool from a file at the given position */
+
+void ObjReadAssertions (FILE* F, unsigned long Pos, ObjData* O);
+/* Read the assertions from a file at the given offset */
+
+void ObjReadScopes (FILE* F, unsigned long Pos, ObjData* O);
+/* Read the scope table from a file at the given offset */
+
+void ObjReadSpans (FILE* F, unsigned long Pos, ObjData* O);
+/* Read the span table from a file at the given offset */