Symbol: is_seg_val