minix3/commands/mined/mined1.o