pub type AsVercmpFlags = c_uint;