Instrumenting Rust code with syntax extensions