void doit(int x);
void print_string(char* s);