minix3/lib/libsys/getidle.pico