pub const __STDC_ISO_10646__: i32 = 201706;