11556Srgrimes#include <stdio.h> 21556Srgrimesdouble normalize(x)double x;{if(x==0)x=0;return x;} 31556Srgrimesmain(){char b[9];sprintf(b,"%g",normalize(-0.0));if(strcmp(b,"0"))abort();exit(0);} 41556Srgrimes