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