export type u16 = number;