{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"self.consume_operand(location,"}]}
                    self.consume_operand(location, len);
                if let AssertKind::BoundsCheck { len, index } = &**msg {
                    self.consume_operand(location, index);