Constant rpi_pico_sdk_sys::true_

pub const true_: u32 = 1;