int main() {
    string val = foo();  // copy, no reference
    printf("%s\n", val.c_str());
    return 0;
}

Solv*