/sys/man/2/venti-client venti-client
/sys/man/2/venti-conn venti-conn
/sys/man/2/venti-file venti-file
/sys/man/2/venti-packet venti-packet