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