Add support for BENCHMARK extension