minix3/kernel/do_trace.o