extern void set_seed(long);
extern unsigned long get_next_lcg_value(void);
extern long randrange(long);
-extern void score(enum termination);
+extern long score(enum termination);
+extern void terminate(enum termination) __attribute__((noreturn));
extern int suspend(FILE *);
extern int resume(FILE *);
extern int restore(FILE *);