minix3/lib/libsys/sef_ping.o