[gambit-list] Hakmem bitcount.