pub const kCFStringEncodingEBCDIC_US: u32 = 0x0C01; // 3_073u32