minix3/lib/libsys/tickdelay.pico