minix3/lib/libsffs/read.pico