macro_rules! choose_at_most_one {
    ( $only:expr ) => { ... };
    ( $head:expr, $($tail:expr),* $(,)* ) => { ... };
}