return elapsed_time == 0 ? 0 : elapsed_time <= 0xFF ? 1 : elapsed_time <= 0xFFFF ? 2 : elapsed_time <= 0xFFFFFF ? 3 : 4; 
return elapsed_time == 0 ? 0 : elapsed_time <= 0xFFFF ? 2 : 4; 
static inline int dccp_elapsed_time_len(const u32 elapsed_time){	return elapsed_time == 0 ? 0 :	       elapsed_time <= 0xFF ? 1 :	       elapsed_time <= 0xFFFF ? 2 :	       elapsed_time <= 0xFFFFFF ? 3 : 4;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b1c9fe7b818acbd36dc908c5c1ad4cab34c67b39/options.c/buggy/net/dccp/options.c