macro_rules! make_enumerated_getter {
    ( $attr:ident, $htmlname:tt, $default:expr, $($choices:pat_param)|+) => { ... };
}