crypto_int64_bottombit_01
return crypto_int64_bottombit_01(crypto_int64_x);
for (i = 0; i < p; ++i) weight += crypto_int64_bottombit_01(r[i]);