4 /*---------------------------------------------------------------------------*/
10 void hud_timer(float);
13 void hud_view_pulse(int);
14 void hud_view_timer(float);
15 void hud_view_paint();
17 void hud_speed_pulse(int);
18 void hud_speed_timer(float);
19 void hud_speed_paint();
21 /*---------------------------------------------------------------------------*/