return float32_div(rFm, rFn); 
return float32_div(roundData, rFm, rFn); 
static float32 float32_rdv(float32 rFn, float32 rFm){	return float32_div(rFm, rFn);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f148af2593ef76ac705d1cc6abe48f455c9912cc/single_cpdo.c/buggy/arch/arm/nwfpe/single_cpdo.c