minix3/lib/libsys/sched_stop.pico