FICL_2UNSIGNED_NOT_ZERO
} while (FICL_2UNSIGNED_NOT_ZERO(u));
while (FICL_2UNSIGNED_NOT_ZERO(v)) {
while (FICL_2UNSIGNED_NOT_ZERO(ud)) {