RESULT_FAIL
printf("Tests failed:\t\t%d\n", count_by_result[RESULT_FAIL]);
case RESULT_FAIL:
case RESULT_FAIL: return "FAIL";
RESULT_NOTRUN : RESULT_FAIL;