[PATCH 1/8] riched20: Add destroy_para() helper.