2888 static float128 float128NextQInP1( sequenceT *sequencePtr )  in float128NextQInP1()
2891     float128 z;  in float128NextQInP1()
2912 static float128 float128NextQOutP1( sequenceT *sequencePtr )  in float128NextQOutP1()
2915     float128 z;  in float128NextQOutP1()
2939 static float128 float128NextQInP2( sequenceT *sequencePtr )  in float128NextQInP2()
2942     float128 z;  in float128NextQInP2()
2963 static float128 float128NextQOutP2( sequenceT *sequencePtr )  in float128NextQOutP2()
2966     float128 z;  in float128NextQOutP2()
2987 static float128 float128RandomQOutP3( void )  in float128RandomQOutP3()
2991     float128 z;  in float128RandomQOutP3()
3010 static float128 float128RandomQOutPInf( void )  in float128RandomQOutPInf()
3012     float128 z;  in float128RandomQOutPInf()
3060 static float128 float128RandomQInfP3( void )  in float128RandomQInfP3()
3065     float128 z;  in float128RandomQInfP3()
3089 static float128 float128RandomQInfPInf( void )  in float128RandomQInfPInf()
3092     float128 z;  in float128RandomQInfPInf()
3107 static float128 float128Random( void )  in float128Random()
3157 static float128 current_a_float128;
3158 static float128 current_b_float128;
3281 float128 testCases_a_float128;
3282 float128 testCases_b_float128;