Use `abort` instead of `exit`