MP_GET_BIT
b3 = MP_GET_BIT(&k3, i);
b1 = MP_GET_BIT(&k, i);
ai = MP_GET_BIT(a, 2 * i + 1);
ai |= MP_GET_BIT(a, 2 * i);
bi = MP_GET_BIT(b, 2 * i + 1);
bi |= MP_GET_BIT(b, 2 * i);
b3 = MP_GET_BIT(&k3, i);
b1 = MP_GET_BIT(&k, i);
ni = MP_GET_BIT(n, 4 * i + 3);
ni |= MP_GET_BIT(n, 4 * i + 2);
ni |= MP_GET_BIT(n, 4 * i + 1);
ni |= MP_GET_BIT(n, 4 * i);
ai = MP_GET_BIT(a, 2 * i + 1);
ai |= MP_GET_BIT(a, 2 * i);
bi = MP_GET_BIT(b, 2 * i + 1);
bi |= MP_GET_BIT(b, 2 * i);