pub type device_t = c_void;