Symbol: nat_iterator