{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"\"addex\""}]}
                    "addex" => "__builtin_ppc_addex",
                    // ppc
                    "addf128.round.to.odd" => "__builtin_addf128_round_to_odd",