/* @@@HEAD@@@ // Declarations for binary and text database dumps. */ #ifndef _dump_h_ #define _dump_h_ #include <stdio.h> int binary_dump(void); int text_dump(void); void text_dump_read(FILE *fp); #endif