Symbol: sati_sequence_construct