abort declaration is not just implicit but incompatibly implicit, so make it explicit.