{"ast_node_type":"variable","tokens":[{"end":86,"kind":"keyword","start":0,"text":"let"}]}
                let (a_offset, b_offset, is_addr) = if M::Provenance::OFFSET_IS_ADDR {
                // two integers or two pointers into the same allocation.
                    (a.addr().bytes(), b.addr().bytes(), /*is_addr*/ true)