EC_POINT_CSWAP
EC_POINT_CSWAP(kbit, r, s, group_top, Z_is_one);
EC_POINT_CSWAP(pbit, r, s, group_top, Z_is_one);