func: void * unlock_without_lock_008_tsk_002(void *input) long ip ; int i = 5 ; ip = ( long ) input; ip = ip * 20; if ( ip >= 0 )  if ( i != 6 )  pthread_mutex_unlock ( & unlock_without_lock_008_glb_mutex_2 ); i --; while ( i > 0 )  