int length( list* l ) { 
  length  
        switch( l->tag ) {
        case NIL: return 0;
        case CONS: return 1 + length(l->next);
        case INTERVAL: return l->z - l->e + 1;
        };
  }