#include <stdio.h>
+#include <stdlib.h>
#include <stdbool.h>
#include "common.h"
extern long SETBIT(long);
extern bool TSTBIT(long,int);
extern long RNDVOC(long,long);
-extern void BUG(long) __attribute__((noreturn));
extern bool MAPLIN(FILE *);
extern void DATIME(long*, long*);
extern long randrange(long);
extern long score(enum termination);
extern void terminate(enum termination) __attribute__((noreturn));
-extern int suspend(FILE *);
-extern int resume(FILE *);
+extern int suspend(void);
+extern int resume(void);
extern int restore(FILE *);
/*