const char* get_hello_world();