minix3/lib/libvtreefs/read.pico