pub const __codecvt_result___codecvt_ok: u32 = 0; // 0u32