minix3/drivers/clock/readclock/forward.o