{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"\"sha512sig1\""}]}
                    "sha512sig1" => "__builtin_riscv_sha512sig1",
                    "sha512sig0l" => "__builtin_riscv_sha512sig0l",
                    "sha512sig1h" => "__builtin_riscv_sha512sig1h",