{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"_"}]}
            _ => M::binary_ptr_op(self, bin_op, left, right),
            // Fall back to machine hook so Miri can support more pointer ops.
        }