IS_POWER_OF_2
if ((MP_USED(a) == MP_USED(b)) && IS_POWER_OF_2(MP_USED(b))) {
if (IS_POWER_OF_2(MP_USED(a))) {