{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"\"sha512sum0\""}]}
                    "sha512sum0" => "__builtin_riscv_sha512sum0",
                    "sha512sig1l" => "__builtin_riscv_sha512sig1l",
                    "sha512sum0r" => "__builtin_riscv_sha512sum0r",