special_tonebank = -1; 
static inline int parse_opt_EC(const char *arg){	/* --default-bank */	int32 tmpi32;		if (set_value(&tmpi32, atoi(arg), 0, 0x7f, "Bank number"))		return 1;	default_tonebank = tmpi32;	return 0;}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/f13c85b14498a6843942602001a62ce33cbca2eb/timidity.c/clean/timidity/timidity.c