/* * simple-offline.cpp * */ #include #include int main(int argc, const char** argv) { CALLGRIND_STOP_INSTRUMENTATION; SimpleMachine machine(argc, argv); CALLGRIND_START_INSTRUMENTATION; machine.run(); }