/* Don't bother reporting each separate button press when it is pressed many
* times in short succession. (We also use this to de-bounce. :) */
u32_t minimum_microseconds_between_button_presses = 1000000;
/* Don't bother reporting each separate button press when it is pressed many
* times in short succession. (We also use this to de-bounce. :) */
u32_t minimum_microseconds_between_button_presses = 1000000;