Syntax extension for inline benchmarks