minix3/lib/libsys/timing.o