minix3/lib/libsys/kputs.pico