ferrite_session
macro_rules! define_extract_choice { ( $name:ident ; $( $labels:ident ),* $(,)? ) => { ... }; }