{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"start:"}]}
            start: Size::ZERO,
        let init_range = init_mask.is_range_initialized(AllocRange {
            size: Size::from_bytes(alloc.0.len()),