macro_rules! abstract_public_modular_integer {
    ($name:ident, $base:ident, $max:expr) => { ... };
}