{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"Ok(ScalarInt::try_from_uint(ptr.offset.bytes(),"}]}
                    Ok(ScalarInt::try_from_uint(ptr.offset.bytes(), Size::from_bytes(sz)).unwrap())
                if Prov::OFFSET_IS_ADDR {
                } else {