pub type SequencePointKind = c_uint;