external hamdist: t->t->int = "_mlgmp_z_hamdist"