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