35 #ifndef __EST_HANDLABLE_H__ 
   36 #define __EST_HANDLABLE_H__ 
   60 #   define NOT_REFCOUNTED (INT_MAX)  
   64   int refcount(
void)
 const { 
return p_refcount;}
 
   66   void start_refcounting(
int initial=0) {p_refcount=initial;}
 
   67   void inc_refcount(
void) {
if (p_refcount!=NOT_REFCOUNTED) p_refcount++;}
 
   68   void dec_refcount(
void) {
if (p_refcount!=NOT_REFCOUNTED) p_refcount--;}
 
   70   int is_unreferenced(
void)
 const {
return p_refcount == 0;}
 
   71   int is_refcounted(
void)
 const {
return p_refcount!= NOT_REFCOUNTED;}