counter seed for srand48_r