This might be better put in utils rather than hts_memory, since it's a general utility function for converting an array of char * strings to a vector of C++ strings