#include <stdlib.h>

double Dval1 = 12.345678;

main()
{
  double dtmp;
  char *buf;	
  dtmp = strtod ("12.3456789",  &buf);

  if (dtmp != Dval1)
    abort();

  return 0;

}