{"ast_node_type":"variable","tokens":[{"end":86,"kind":"keyword","start":0,"text":"let"}]}
        let result = self.current_func().new_local(self.location, res_type, "result");
        // and overflow_value will not be initialized at the correct point in the program.
        self.block.add_assignment(self.location, result, call);