{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"bx.set_var_name(b,"}]}
                        bx.set_var_name(b, &(name.clone() + ".1"));
                        bx.set_var_name(a, &(name.clone() + ".0"));
                    }