Constant rpi_pico_sdk::__WORDSIZE

pub const __WORDSIZE: u32 = 64;