4.2 abort.S