decorative_on_broken=PASS
specific_on_broken=FAIL_EXPECTED
specific_on_fixed=PASS
proof=PASS