minix3/lib/libsys/spin.pico