pub type arm_vectordata_type = c_uint;