minix3/lib/libsys/getuptime.pico