Constant GPIO_BUTTON_COUNT 

pub const GPIO_BUTTON_COUNT: GPIOBUTTONS_BUTTON_TYPE;