pub const asciitilde: u32 = 0x7e; // 126u32