Symbol: add_prog