float128_mul
float128 float128_mul( float128, float128 );
float128 float128_mul( float128, float128 );
float128 float128_mul( float128, float128 );
float128 float128_mul( float128, float128 );
float128 float128_mul( float128, float128 );
float128 float128_mul( float128, float128 );
float128 float128_mul( float128, float128 );
*c = float128_mul(*a, *b);
float128 float128_mul( float128, float128 );
float128 float128_mul( float128, float128 );
time_abz_float128( float128_mul );
float128 float128_mul( float128, float128 );
test_abz_float128( float128_mul, syst_float128_mul );
float128 float128_mul( float128, float128 );