Data.SBV.Examples.CodeGeneration.PopulationCount
popCountSlow
popCountFast
pop8
fastPopCountIsCorrect
genPopCountInC