{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"bx.switch("}]}
                bx.switch(
                // or `otherwise` is unreachable and it's the only target with a different weight.
                    discr_value,