{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"\"aes64ks1i\""}]}
                    "aes64ks1i" => "__builtin_riscv_aes64ks1i",
                    "aes64im" => "__builtin_riscv_aes64im",
                    "aes64ks2" => "__builtin_riscv_aes64ks2",