Macro cvlr_satisfy 

macro_rules! cvlr_satisfy {
    ($cond: expr $(, $desc: literal)?) => { ... };
}