#include <stdio.h>
#include <stdlib.h>

double Dval1 = 12.3456789;

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

  printf ("%lf %lf\n",  dtmp, Dval1);

  if ((int)dtmp - (int)Dval1)
    abort();

 return 0;
}