{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"fx.bcx.ins().iadd(tagged_discr,"}]}
                fx.bcx.ins().iadd(tagged_discr, delta)
                };
            };