kaniexpect
macro_rules! expect { ($option:expr) => { ... }; ($option:expr, $literal:expr) => { ... }; }