Macro synfuzz::choice

macro_rules! choice {
    ( $( $x:expr ),* ) => { ... };
}