define RUNTIME_BENCHMARKING 20131128