Symbol: is_segment_register