void
 writeCase_z_f64(
     float64_t trueZ,
     uint_fast8_t trueFlags,
     float64_t subjZ,
     uint_fast8_t subjFlags
 )
{

    fputs( "=> ", stdout );
    writeHex_f64( subjZ, ' ' );
    writeHex_softfloat_flags( subjFlags, 0 );
    fputs( "  expected ", stdout );
    writeHex_f64( trueZ, ' ' );
    writeHex_softfloat_flags( trueFlags, '\n' );
    fflush( 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 );

}