require_vector_vs; P_STRAIGHT_ULOOP(16, { bool sat = false; pd = (sat_sub(ps1, ps2, sat)); P_SET_OV(sat); }, { bool sat = false; pd = (sat_add(ps1, ps2, sat)); P_SET_OV(sat); })