const char *external_string = "Hello, world!";