void st_pause_ticks_init(void);
void st_pause_ticks_start(void);
void st_pause_ticks_stop(void);
-void timer_init(timer_type* ptimer, int st_ticks);
+void timer_init(timer_type* ptimer, bool st_ticks);
void timer_start(timer_type* ptimer, unsigned int period);
void timer_stop(timer_type* ptimer);
/*======================================================================
======================================================================*/
int timer_get_left(timer_type* ptimer);
int timer_get_gone(timer_type* ptimer);
-int timer_fwrite(timer_type* ptimer, FILE* fi);
-int timer_fread(timer_type* ptimer, FILE* fi);
+void timer_fwrite(timer_type* ptimer, FILE* fi);
+void timer_fread(timer_type* ptimer, FILE* fi);
#endif /*SUPERTUX_TIMER_H*/