minix3/tests/test2.o