Macro kani_mem

macro_rules! kani_mem {
    ($core:tt) => { ... };
}