bool ch_is_digit ( char c );
int ch_to_digit ( char ch );
void i4vec_print ( int n, int a[], string title );
int *s_to_digits ( string s, int n );
void timestamp ( );
int upc_check_digit_calculate ( string s );
bool upc_is_valid ( string s );