pub const gpio_irq_trig_t_GPIO_TRIGGER_EDGE_RISING: gpio_irq_trig_t = 65536;