char *stopish_get_time_string( void );
long int stopish_get_time_timer( void );
void stopish_set_time_start( long int time );
void stopish_timer_resume( void );
void stopish_timer_save( void );
long int stopish_current_time( void );
char *stopish_get_time_string( void );
long int stopish_get_time_timer( void );
void stopish_set_time_start( long int time );
void stopish_timer_resume( void );
void stopish_timer_save( void );
long int stopish_current_time( void );