minix3/lib/libsys/getepinfo.pico