{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"alloc_range(b_offset,"}]}
                    alloc_range(b_offset, b_size),
                let b_val = alloc.read_scalar(
                    /*read_provenance*/ matches!(b, abi::Primitive::Pointer(_)),