+extern ctf_file_t *ctf_simple_open_internal (const char *, size_t, const char *,
+ size_t, size_t,
+ const char *, size_t,
+ ctf_dynhash_t *, int, int *);
+extern ctf_file_t *ctf_bufopen_internal (const ctf_sect_t *, const ctf_sect_t *,
+ const ctf_sect_t *, ctf_dynhash_t *,
+ int, int *);
+extern int ctf_serialize (ctf_file_t *);
+