{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"TerminatorKind::SwitchInt"}]}
            TerminatorKind::SwitchInt { .. } => "SwitchInt",
            TerminatorKind::Goto { .. } => "Goto",
            TerminatorKind::UnwindResume => "UnwindResume",