[PATCH 1/1] riched20: Remove unnecessary make_string and heap_string_free functions.