Population count: Difference between revisions