-extern void score(enum termination);
-extern int saveresume(FILE *, bool);
+extern long score(enum termination);
+extern void terminate(enum termination) __attribute__((noreturn));
+extern int suspend(FILE *);
+extern int resume(FILE *);
+extern int restore(FILE *);