Source position: ntcph.inc line 63
const TCPOPT_TSTAMP_HDR = TCPOPT_NOP shl 24 or TCPOPT_NOP shl 16 or TCPOPT_TIMESTAMP shl 8 or TCPOLEN_TIMESTAMP;