{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"\"sha512sig1l\""}]}
                    "sha512sig1l" => "__builtin_riscv_sha512sig1l",
                    "sha512sig1h" => "__builtin_riscv_sha512sig1h",
                    "sha512sum0" => "__builtin_riscv_sha512sum0",