Constant PICO_SDK_VERSION_MAJOR 

pub const PICO_SDK_VERSION_MAJOR: u32 = 1;