Symbol: free_rmp_segment_table