void util_function_does_nothing() { // Nothing here... int x = 0; ++x; }