{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"self.current_func().new_local(self.location,"}]}
            self.current_func().new_local(self.location, overflow_type, "overflow");
        let overflow_value =
        let overflow_addr = overflow_value.get_address(self.location);