Symbol: sequence_cmp