struct execution_aborted {};
This is a trivial default constructible class. Use it to report gracefull abortion of a monitored function execution.