{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"//"}]}
            // Memory with provenance must be defined
        if let Some(prov) = alloc.provenance().get_ptr(i) {
            assert!(alloc.init_mask().is_range_initialized(alloc_range(i, ptr_size)).is_ok());