s->tid = gettid();
printf("submitter=%d, tid=%d\n", s->index, s->tid);
__init_rand64(&s->rand_state, pthread_self());
__init_rand64(&s->rand_state, (long)pthread_self());
srand48(pthread_self());
srand48((long)pthread_self());
for (i = 0; i < MAX_FDS; i++)
s->files[i].fileno = i;
-