TCP_ISS_RANDOM_MASK
tcp_iss = cprng_fast32() & TCP_ISS_RANDOM_MASK;
tcp_iss_seq += TCP_ISSINCR + (TCP_ISS_RANDOM_MASK & cprng_fast32());