Symbol: reg_sequence_start_execute