obsoleted; String_free() is now inlined