+#include <time.h>
+#include <unistd.h>
+
+int getrandom __P((int, int, int));
+void intr __P((int)) __attribute__((__noreturn__));
+int main __P((int, char *[]));
+int opnum __P((int));
+void penalise __P((int, int, int));
+int problem __P((void));
+void showstats __P((int));
+void usage __P((void)) __attribute__((__noreturn__));