pub type ClassCardinality = c_uint;