pub const ERROR_UNDEFINED_CHARACTER: u32 = 583; // 583u32