in z3tracer/src/lexer.rs [97:108]
fn read_token(&mut self, token: u8) -> RawResult<()> {
match self.read_byte() {
Some(c) if c == token => {
self.skip_spaces();
Ok(())
}
x => Err(RawError::UnexpectedChar(
x.map(char::from),
vec![token as char],
)),
}
}