$int
=
6
#1
|
gmp_hamdist
|
("0b1001010011", |