abort() raises an exception