Symbol: seq_max