pub const UINT_LEAST16_WIDTH: u32 = 16;