{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"\"aes64ks2\""}]}
                    "aes64ks2" => "__builtin_riscv_aes64ks2",
                    "aes64ks1i" => "__builtin_riscv_aes64ks1i",
                    "sha512sig0" => "__builtin_riscv_sha512sig0",