Edit File: bitcount.h