macro_rules! checked_enum {
    ($ety:ident($repr:ty) => { $from:ident, $to:ident }) => { ... };
}