Constant GPIO_PIN13_PAD_DRIVER_V 

pub const GPIO_PIN13_PAD_DRIVER_V: u32 = 1;