macro_rules! define_zvl_ext { (DEF: $settings:expr, $size:expr) => { ... }; ($settings:expr, $size:expr $(, $implies:expr)*) => { ... }; }
macro_rules! define_zvl_ext { (DEF: $settings:expr, $size:expr) => { ... }; ($settings:expr, $size:expr $(, $implies:expr)*) => { ... }; }