Symbol: dev_seq_from_index