#include <u.h>
#include <libc.h>

#include "venti.h"

typedef uvlong	u64int;
typedef	uchar	u8int;
typedef ushort	u16int;