UIM
T64U(UIM(a64) + k, UIM(b64) + l, ur64);
printf(id "%16jx / %16jx => %16jx\n", UIM(a), UIM(b), UIM(c)); \