void
scan_string(const char* x);