{"ast_node_type":"variable","tokens":[{"end":45,"kind":"keyword","start":0,"text":"let"}]}
            let res = self.gcc_add(lhs, rhs);
            // Algorithm from: http://locklessinc.com/articles/sat_arithmetic/
            let cond = self.gcc_icmp(IntPredicate::IntULT, res, lhs);