{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"assert!("}]}
            assert!(
            // Memory with provenance must be defined
                alloc.init_mask().is_range_initialized(alloc_range(i, Size::from_bytes(1))).is_ok()