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