Constant GPIO_PIN13_WAKEUP_ENABLE_V 

pub const GPIO_PIN13_WAKEUP_ENABLE_V: u32 = 1;