Would this be better using the `abort` intrinsic?