{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"(\"check-cfg\","}]}
    ("check-cfg", PrintKind::CheckCfg),
    ("cfg", PrintKind::Cfg),
    ("code-models", PrintKind::CodeModels),