pub type IClockVectorElement = *mut c_void;