String_c_str(): added