Symbol: for_each_intid