struct execution_aborted {};
This is trivial default constructible class that is used to report gracefull execution abort.