Constant jl_sys::TCPOPT_TIMESTAMP

pub const TCPOPT_TIMESTAMP: u32 = 8;