se c -profile --se c -no_gc se c -all_check -debug se c -all_check se c -loop_check se c -invariant_check se c -ensure_check /-no_gc.*test_agent71.e/