Macro verified::vec

macro_rules! vec {
    (count $(,)?) => { ... };
    (count $e:expr$(, $tail:expr)*$(,)?) => { ... };
    ($($e:expr),*$(,)?) => { ... };
}