le128dec
ctr = le128dec(&lectr);
*ctr = le128dec(&lectr);
a = le128dec(inputle);
u128_check_equality(le128dec(expectedle), a, tests[i].descr);
a = le128dec(inputle);
u128_check_equality(le128dec(expectedle), a, tests[i].descr);
a = le128dec(inputle);
u128_check_equality(le128dec(expectedle), a, tests[i].descr);