{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"(\"1234567\","}]}
            ("1234567", 4, "123_4567"),
            ("123456", 4, "12_3456"),
            ("12345678", 4, "1234_5678"),