static float64 float64_mvf(float64 rFm) 
static float64 float64_mvf(struct roundingData *roundData,float64 rFm) 
static float64 float64_mvf(float64 rFm){	return rFm;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f148af2593ef76ac705d1cc6abe48f455c9912cc/double_cpdo.c/buggy/arch/arm/nwfpe/double_cpdo.c