{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"\"sha512sum0r\""}]}
                    "sha512sum0r" => "__builtin_riscv_sha512sum0r",
                    "sha512sum0" => "__builtin_riscv_sha512sum0",
                    "sha512sum1" => "__builtin_riscv_sha512sum1",