Symbol: if_setflag