/* pi_shared.c */
void read_arguments(int *seed, int *N, int argc, char *argv[]);
int count_hits(unsigned int seed, int N);