I really don't know. Since only definitions are emitted there can't be duplicates.