~scoped_timer() { if (enabled) { const double x = t.lap_ms(); std::cerr << "timed region `" << region << "' took " << x << " ms" << std::endl; } }