The interface IDs in OpEntryPoint may have duplicates. But it would be nicer for consumers if duplicates were removed.

Cc: @sheredom