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

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