Constant Phidget_DeviceID_PHIDID_1023 

pub const Phidget_DeviceID_PHIDID_1023: Phidget_DeviceID = 13;