float32_add
float32 AEABI_FUNC2(fadd, float32, float32_add)
float32 float32_add( float32, float32 );
float32 float32_add( float32, float32 );
float32 float32_add( float32, float32 );
float32 float32_add( float32, float32 );
float32 float32_add( float32, float32 );
time_abz_float32( float32_add );