>>735
多分そう。
>>732
count_bits() のループ内で、x の値がどう変わっていくか調べると判ると思う。