{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"\"sha512sig0\""}]}
                    "sha512sig0" => "__builtin_riscv_sha512sig0",
                    "aes64ks2" => "__builtin_riscv_aes64ks2",
                    "sha512sig0h" => "__builtin_riscv_sha512sig0h",