I don't believe there's any need to copy the string here - store_element() doesn't take ownership. You can just use the const strings.