Symbol: pwrseq_put