{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"(\"123456\","}]}
            ("123456", 4, "12_3456"),
            ("12345", 4, "1_2345"),
            ("1234567", 4, "123_4567"),