# undef DUMP_AND_RESTORE

# ifdef DUMP_AND_RESTORE

extern Bool gDumpAndRestore;
void	CoclBackEnd (ImpMod modulem, char *outputFileName);

# endif /* DUMP_AND_RESTORE */