{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"//"}]}
                    // riscv
                match name {
                    "aes32dsi" => "__builtin_riscv_aes32dsi",