{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"\"xtensa\""}]}
        "xtensa" => emit_xtensa_va_arg(bx, addr, target_ty),
        "x86_64" => emit_x86_64_sysv64_va_arg(bx, addr, target_ty),
        // For all other architecture/OS combinations fall back to using