587-main caught , which is good. TEST PASSED pass TEST FAILED failure expression: failexpr:

TEST FAILED failure reason: Skipped the goto or somethingfail