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