Write a C function to return the number of set bits in an integer.