pub const GPIO_DIR_PIN23_Msk: u32 = 8388608;