{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"throw_machine_stop_str!(\"discriminant"}]}
                    throw_machine_stop_str!("discriminant with provenance")
                let FlatSet::Elem(Scalar::Int(discr)) = state.get_idx(discr, map) else {
                };