static float32 float32_abs(float32 rFm) 
static float32 float32_abs(struct roundingData *roundData, float32 rFm) 
static float32 float32_abs(float32 rFm){	return rFm & 0x7fffffff;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f148af2593ef76ac705d1cc6abe48f455c9912cc/single_cpdo.c/buggy/arch/arm/nwfpe/single_cpdo.c