Symbol: to_pwrseq_device