minix3/lib/libsys/getsysinfo.pico