minix3/lib/libminc/gettimeofday.o