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