Symbol: reg_sequence_list