macro_rules! abstract_nat_mod {
    ($name:ident,$base:ident,$bits:literal,$n:literal) => { ... };
}