annotation on find_worst_violator_new.c