void
 writeCase_abc_f128M(
     const float128_t *aPtr, const float128_t *bPtr, const float128_t *cPtr )
{

    writeHex_f128M( aPtr, 0 );
    fputs( "  ", stdout );
    writeHex_f128M( bPtr, 0 );
    fputs( "\n\t", stdout );
    writeHex_f128M( cPtr, 0 );
    fputs( "\n\t", stdout );

}
void writeCase_a_f128M( const float128_t *aPtr, const char *sepStringPtr )
{

    writeHex_f128M( aPtr, 0 );
    fputs( sepStringPtr, stdout );

}
void
 writeCase_z_f128M(
     const float128_t *trueZPtr,
     uint_fast8_t trueFlags,
     const float128_t *subjZPtr,
     uint_fast8_t subjFlags
 )
{

    fputs( "=> ", stdout );
    writeHex_f128M( subjZPtr, ' ' );
    writeHex_softfloat_flags( subjFlags, 0 );
    fputs( "\n\texpected ", stdout );
    writeHex_f128M( trueZPtr, ' ' );
    writeHex_softfloat_flags( trueFlags, '\n' );
    fflush( stdout );

}