Macro arbitrary_msg 

macro_rules! arbitrary_msg {
    ($name:ident { $($variant:ident),* $(,)? }) => { ... };
}

Generate a trivial action for property tests.