Symbol: to_pse_reg