pub type cec_device_type = u32;