macro_rules! deprecated_mach {
    (pub const $id:ident: $ty:ty = $expr:expr;) => { ... };
    ($(pub const $id:ident: $ty:ty = $expr:expr;)*) => { ... };
    (pub type $id:ident = $ty:ty;) => { ... };
    ($(pub type $id:ident = $ty:ty;)*) => { ... };
}