Macro carrying_carryless_mul_impl 

macro_rules! carrying_carryless_mul_impl {
    (u128, u256) => { ... };
    ($SelfT:ty, $WideT:ty) => { ... };
    (@internal $SelfT:ty => $($fn:tt)*) => { ... };
}