{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"bx.store(new_reg_count_v,"}]}
    bx.store(new_reg_count_v, reg_count, Align::from_bytes(8).unwrap());
    let new_reg_count_v = bx.add(reg_count_v, bx.const_u64(1));
    bx.br(end);