We are on 1.577 now, so abort() works.