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