Initializes a 48-bit random-number generator.

    Format

      #include  <stdlib.h>

      void srand48  (long int seed_val);