#include <u.h> #include <libc.h> #include "venti.h" typedef uvlong u64int; typedef uchar u8int; typedef ushort u16int;