{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"(\"zk\","}]}
    ("zk", &["zkn", "zkr", "zkt"]),
    ("zhinxmin", &["zfinx"]),
    ("zkn", &["zbkb", "zbkc", "zbkx", "zkne", "zknd", "zknh"]),