{"ast_node_type":"variable","tokens":[{"end":56,"kind":"keyword","start":0,"text":"let"}]}
        let op = self.gcc_add(counter.to_rvalue(), one);
        let one = self.gcc_int(counter_type, 1);
        loop_body.add_assignment(self.location, counter, op);