pub type Cardinal = c_long;