SEQUENCER: to be completed SEQUENCER_Init S_SEQUENCER