{filelink=13258}
#include
#include
#include
int main(void)
{
printf("%f", _copysign(0.0, -1.0));
return 0;
}
{filelink=13258}
#include
#include
#include
int main(void)
{
printf("%f", _copysign(0.0, -1.0));
return 0;
}