/sys/src/cmd/venti/mkfile mkfile
/sys/src/cmd/venti/dumpvacroots dumpvacroots