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