Constant rpi_pico_sdk_sys::__WORDSIZE

pub const __WORDSIZE: u32 = 64;