Symbol: for_each_net