void backbin_rc ( int n, bool reject, int *n2, int choice[] );
int i4_power ( int i, int j );
void timestamp ( );