Symbol: segment_table_entry