char digit_to_ch ( int i );
void filename_inc ( string *filename );
int i4_log_10 ( int i );
int i4_min ( int i1, int i2 );
string i4_to_s ( int i );
string i4_to_s0 ( int i, int digits );
void timestamp ( );