Constant usb_device_speed_USB_SPEED_HIGH 

pub const usb_device_speed_USB_SPEED_HIGH: usb_device_speed = 3;