export type u8 = number;