Constant TCPOLEN_TIMESTAMP 

pub const TCPOLEN_TIMESTAMP: c_int = 10;