if (set_value_int32(&val, i, low, high, name)) 
 if (set_val_i32(&val, i, low, high, name)) 
static inline int set_value(int *param, int i, int low, int high, char *name){	int32 val;	if (set_value_int32(&val, i, low, high, name))		return 1;	*param = val;	return 0;}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/25520fe7c219025debd1134e396ed745d6a42d3c/timidity.c/clean/timidity/timidity.c