Make crash not loop (sam doesn't like it) + annotate with shouldfail