without abort trap