kaniexpect
macro_rules! kformat { () => { ... }; ($literal:expr) => { ... }; ($literal:expr, $($arg:tt)*) => { ... }; }