Symbol: for_each_kring_n