pub type HardwareToken = *mut c_void;