export type u32 = number;