{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"interp_ok(a)"}]}
        interp_ok(a)
        let (a, ()) = self.get_ptr_alloc_mut(mplace.ptr(), size).and(misalign_res)?;
    }