rand48.o seed48_r.o srand48_r.o