+extern int Trace;
+
+/* abandon.c */
+void abandon(int);
+
+/* attack.c */
+void attack(int);
+
+/* autover.c */
+void autover(void);
+
+/* capture.c */
+void capture(int);
+struct kling *selectklingon(void);
+
+/* cgetc.c */
+char cgetc(int);
+
+/* check_out.c */
+int check_out(int);
+
+/* checkcond.c */
+void checkcond(void);
+
+/* compkl.c */
+void compkldist(int);
+
+/* computer.c */
+void computer(int);
+
+/* damage.c */
+void damage(int, double);
+
+/* damaged.c */
+int damaged(int);
+
+/* dcrept.c */
+void dcrept(int);
+
+/* destruct.c */
+void destruct(int);
+
+/* dock.c */
+void dock(int);
+void undock(int);
+
+/* dumpgame.c */
+void dumpgame(int);
+int restartgame(void);
+
+/* dumpme.c */
+void dumpme(int);
+
+/* dumpssradio.c */
+int dumpssradio(void);
+
+/* events.c */
+int events(int);
+
+/* externs.c */
+
+/* getcodi.c */
+int getcodi(int *, double *);
+
+/* help.c */
+void help(int);
+
+/* impulse.c */
+void impulse(int);
+
+/* initquad.c */
+void initquad(int);
+void sector(int *, int *);
+
+/* kill.c */
+void killk(int, int );
+void killb(int, int );
+void kills(int, int , int);
+void killd(int, int , int);
+
+/* klmove.c */
+void klmove(int);
+
+/* lose.c */
+void lose(int) __attribute__((__noreturn__));
+
+/* lrscan.c */
+void lrscan(int);
+
+/* move.c */
+double move(int, int, double, double);
+
+/* nova.c */
+void nova(int, int );
+
+/* out.c */
+void out(int);
+
+/* phaser.c */
+void phaser(int);
+
+/* play.c */
+void myreset(int) __attribute__((__noreturn__));
+void play(void) __attribute__((__noreturn__));
+
+/* ram.c */
+void ram(int, int );
+
+/* ranf.c */
+int ranf(int);
+double franf(void);
+
+/* rest.c */
+void rest(int);
+
+/* schedule.c */
+struct event *schedule(int, double, int, int , int);
+void reschedule(struct event *, double);
+void unschedule(struct event *);
+struct event *xsched(int, int, int, int , int );
+void xresched(struct event *, int, int);
+
+/* score.c */
+long score(void);
+
+/* setup.c */
+void setup(void);
+
+/* setwarp.c */
+void setwarp(int);
+
+/* shield.c */
+void shield(int);
+
+/* snova.c */
+void snova(int, int );
+
+/* srscan.c */
+void srscan(int);
+
+/* systemname.c */
+const char *systemname(const struct quad *);
+
+/* torped.c */
+void torped(int);
+
+/* visual.c */
+void visual(int);
+
+/* warp.c */
+void dowarp(int);
+void warp(int, int, double);
+
+/* win.c */
+void win(void) __attribute__((__noreturn__));