Another simpleapproach to exception handling (beyond calling abort) is to allow an exception callback to be registered. This can allow appropriate diagnostic logging, and/or compensation