int tmp_time = crm_get_msec(time); 
tmp_time = crm_get_msec(time); 
set_timer_value(te_timer_t *timer, const char *time, int time_default){	if(timer == NULL) {		return;	}		timer->timeout = time_default;	int tmp_time = crm_get_msec(time);	if(tmp_time > 0) {		timer->timeout = tmp_time;	}}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/b267f2f09ae1568831d9cd201dff3719afebfd84/unpack.c/buggy/crm/tengine/unpack.c