minix3/lib/libsffs/verify.pico