this_nrand48       32 rand.c         static long int this_nrand48 (unsigned short int [3]);
this_nrand48      177 rand.c           v = this_nrand48(state->state48);