pub const GPIO_PIN25_REG: u32 = 1610629336; // 1_610_629_336u32