First stab at IEEE_search and IEEE_count