pub const EMPTY_CHAR: char = '\u{0000}';