Constant TCP_TIMESTAMPS 

pub const TCP_TIMESTAMPS: i32 = 10i32;