{filelink=13280}

#include 
#include


int main(void)
{
  printf("isinf(1.0/0.0) %d", isinf(1.0/0.0));
  printf("isinf(-1.0) %d", isinf(-1.0));
  printf("isinf(1.0) %d", isinf(1.0));

  return 0;
}