default_tonebank = tmpi32; 
} opt_system_mid = val; 
static inline int parse_opt_EB(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/0e91e7ef1fadc562b6bd4c7a94b76d54675dfad1/timidity.c/buggy/timidity/timidity.c