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