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