#include <stdlib.h>
#include <stdio.h>                  /* for printf */
void tst_atoi (void) {
   int i;
   char s [] = "12345";
   i = atoi (s);
   printf ("ATOI(%s) = %d\n", s, i);
}