Macro kani_mem_init

macro_rules! kani_mem_init {
    ($core:path) => { ... };
}