int i4_power ( int i, int j );
int *i4_to_digits_binary ( int i, int n );
int i4vec_dot_product ( int n, int x[], int y[] );
int *subset_sum_serial ( int n, int weight[], int target );
void timestamp ( );