Macro kani_mem 

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