***************
*** 186,192 ****
  	    T x = (X), *l = (L);		\
  	    int i = 0, n = (N);			\
  	    while (i < n && l[i] != x) i++;	\
- 	    l[i] == x;				\
  	} )
  
  /* readproc: return a pointer to a proc_t filled with requested info about the
--- 186,192 ----
  	    T x = (X), *l = (L);		\
  	    int i = 0, n = (N);			\
  	    while (i < n && l[i] != x) i++;	\
+ 	    i < n && l[i] == x;			\
  	} )
  
  /* readproc: return a pointer to a proc_t filled with requested info about the
