Constant PICO_STDOUT_MUTEX 

pub const PICO_STDOUT_MUTEX: u32 = 1;