Constant UNICODE_HISTORIC_MAX

pub const UNICODE_HISTORIC_MAX: u32 = 0x7FFFFFFF;