abort() already raises an exception