extern tof (const char *);
  extern double strtod (const char *, char **);