char * kifstring(void)
Returns a pointer to new memory containing the printed representation of the KIF object.
