Constant SO_TIMESTAMP_MONOTONIC 

pub const SO_TIMESTAMP_MONOTONIC: c_int = 0x0800;