return addFloat64Sigs( a, b, aSign ); 
return addFloat64Sigs( roundData, a, b, aSign ); 
float64 float64_sub( float64 a, float64 b ){    flag aSign, bSign;    aSign = extractFloat64Sign( a );    bSign = extractFloat64Sign( b );    if ( aSign == bSign ) {        return subFloat64Sigs( a, b, aSign );    }    else {        return addFloat64Sigs( a, b, aSign );    }}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f148af2593ef76ac705d1cc6abe48f455c9912cc/softfloat.c/buggy/arch/arm/nwfpe/softfloat.c