static fe_code_rate_t dst_get_fec(struct dst_state* state) 
static fe_code_rate_t dst_get_fec(struct dst_state *state) 
static fe_code_rate_t dst_get_fec(struct dst_state* state){	return state->fec;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a427de6f72bc0d83ebb1d87f9003c5e1009f21cd/dst.c/buggy/drivers/media/dvb/bt8xx/dst.c