Constant SO_TIMESTAMPING 

pub const SO_TIMESTAMPING: c_int = SO_TIMESTAMPING_OLD /* 37i32 */;