{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"BoundsCheck"}]}
    BoundsCheck { len: Operand, index: Operand },
pub enum AssertMessage {
    Overflow(BinOp, Operand, Operand),