PASS -> ERROR : bug_cod1_2528_C in run/b/bug_cod1_2528_C.d