{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"AssertMessage::Overflow(BinOp::Div,"}]}
            AssertMessage::Overflow(BinOp::Div, _, _) => Ok("attempt to divide with overflow"),
            AssertMessage::Overflow(BinOp::Mul, _, _) => Ok("attempt to multiply with overflow"),
            AssertMessage::Overflow(BinOp::Rem, _, _) => {