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