minix3/lib/libminc/random.o