export type u8 = number;
export type u16 = number;
export type u32 = number;