pub const quoteleft: u32 = 0x60; // 96u32