bool ch_is_digit ( char c );
bool ch_is_isbn_digit ( char c );
int ch_to_digit ( char ch );
char i4_to_isbn_digit ( int i );
void i4vec_print ( int n, int a[], string title );
char isbn_check_digit_calculate ( string s );
int isbn_digit_to_i4 ( char c );
bool isbn_is_valid ( string s );
int *s_to_digits ( string s, int n );
int *s_to_isbn_digits ( string s, int n );
void timestamp ( );