{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"(\"12345678\","}]}
            ("12345678", 4, "1234_5678"),
            ("1234567", 4, "123_4567"),
            ("123456789", 4, "1_2345_6789"),