template< class E >  
  int length(list< E >* l) { 
  length  
     return l->empty() ? 0 : 1 + length( l->tail() );
   }
  
  template< class E >
  class listWL : public list<E> {  
  listWL  
  public:
  int length() { return ::length( this ); }
  };