double x;

void overwrite(void)
{
    x = -0.0;
}