void filename_inc ( char *filename );
int s_len_trim ( char *s );
void timestamp ( void );