needs_two_arcs
return needs_two_arcs(U64, s->r[U64], S64, s->r[S64]) ||
needs_two_arcs(U32, s->r[U32], S32, s->r[S32]);