Macro define_spec_module 

macro_rules! define_spec_module {
    (modules [$($module:ident),+ $(,)?]; exports { $($export:item)* }) => { ... };
}