TCPOPT_TSTAMP_HDR
*lp++ = htonl(TCPOPT_TSTAMP_HDR);
((uint32_t *)optp)[0] != htonl(TCPOPT_TSTAMP_HDR))
*(u_int32_t *)optp == htonl(TCPOPT_TSTAMP_HDR) &&
*lp++ = htonl(TCPOPT_TSTAMP_HDR);
*lp++ = htonl(TCPOPT_TSTAMP_HDR);