{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"AssertMessage::BoundsCheck"}]}
        AssertMessage::BoundsCheck { len, index } => {
    match msg {
            let pretty_len = pretty_operand(len);