Constant SO_TIMESTAMP_ID 

pub const SO_TIMESTAMP_ID: u32 = 12299u32;