Constant OID_TIMESTAMP_GET_CROSSTIMESTAMP 

pub const OID_TIMESTAMP_GET_CROSSTIMESTAMP: u32 = 10485763u32;