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

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