public Selector (IntPtr sel) { if (!sel_isMapped (sel)) throw new ArgumentException ("sel is not a selector handle."); this.handle = sel; }