minix3/tests/test53.o