{"ast_node_type":"variable","tokens":[{"end":49,"kind":"keyword","start":0,"text":"let"}]}
            let pretty_len = pretty_operand(len);
        AssertMessage::BoundsCheck { len, index } => {
            let pretty_index = pretty_operand(index);