int atoi(const char *);