/* @@@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