{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"\"sha512sum1\""}]}
                    "sha512sum1" => "__builtin_riscv_sha512sum1",
                    "sha512sum0r" => "__builtin_riscv_sha512sum0r",
                    "sha512sum1r" => "__builtin_riscv_sha512sum1r",