EventPair duplicate (int rights)
EventPair duplicate(int rights) { return EventPair(handle!.duplicate(rights)); }