extern void DrawTunnel(int do_texture, int do_light, GLuint *textures);
extern void SplashScreen(int do_wire, int do_texture, int do_light);
extern void InitTunnel(void);
extern void DrawTunnel(int do_texture, int do_light, GLuint *textures);
extern void SplashScreen(int do_wire, int do_texture, int do_light);
extern void InitTunnel(void);