Update bitcount.c