Symbol: add_pseudo