{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"fx.bcx.ins().select(has_overflow,"}]}
            fx.bcx.ins().select(has_overflow, sat_val, val)
            let sat_val = fx.bcx.ins().select(rhs_ge_zero, max, min);
        }