abort is unused