* \return This function either returns a pointer to a string that must be
* freed by the caller or aborts without returning.
*
* \return This function either returns a pointer to a string that must be
* freed by the caller or aborts without returning.
*