Symbol: add_setfval