{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"(\"123456789\","}]}
            ("123456789", 4, "1_2345_6789"),
            ("12345678", 4, "1234_5678"),
            ("1234567890", 4, "12_3456_7890"),