Constant PICO_DOUBLE_SUPPORT_ROM_V1 

pub const PICO_DOUBLE_SUPPORT_ROM_V1: u32 = 1;