count6bits
printf("/%d", count6bits(mask));
bits = count6bits((u_32_t *)ipe->ipe_mask.in6_addr8);
k = count6bits(n->in_out[1].i6);
k = count6bits(n->in_in[1].i6);
extern int count6bits __P((u_32_t *));
extern int count6bits __P((u_32_t *));