pub const kCFStringEncodingEBCDIC_CP037: u32 = 0x0C02; // 3_074u32