#ifdef DECL_ATOI
extern int atoi (char *);
#endif