* recommends pins 18, 22, or 28. */
extern uint button_pin;
+/* Don't bother reporting each separate button press when it is pressed many
+ * times in short succession. (We also use this to de-bounce. :) */
+extern u32_t minimum_microseconds_between_button_presses;
+
#endif