4 /*---------------------------------------------------------------------------*/
10 void hud_timer(float);
13 void hud_view_pulse(int);
14 void hud_view_timer(float);
15 void hud_view_paint();
17 /*---------------------------------------------------------------------------*/