{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"\"aes32esmi\""}]}
                    "aes32esmi" => "__builtin_riscv_aes32esmi",
                    "aes32esi" => "__builtin_riscv_aes32esi",
                    "aes64ds" => "__builtin_riscv_aes64ds",