/* * restore.h */ int write_restore (void); int read_restore (char *);