static inline const float32 getSingleConstant(const unsigned int nIndex) 
static inline __attribute_pure__ float32 getSingleConstant(const unsigned int nIndex) 
static inline const float32 getSingleConstant(const unsigned int nIndex){	extern const float32 float32Constant[];	return float32Constant[nIndex];}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/33215652e4a75dfa8adb20f4d741517457b0da2b/fpopcode.h/clean/arch/arm/nwfpe/fpopcode.h