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