pico_sdk::sys::ps4000a
pub const enPS4000AChannelLed_PS4000A_CHANNEL_LED_RED: u32 = 1; // 0x0000_0001u32