Symbol: seq_ev_to_ump