tally_map := {};
for x ... loop
  tally_map(x) +:= 1;
    arbcode
end loop;