* https://projects.raspberrypi.org/en/projects/introduction-to-the-pico/10
* recommends pins 18, 22, or 28. */
uint button_pin = 18;
+
+/* 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;
+
+/* Send each report multiple times. */
+uint resend_count = 5;
+u32_t resend_interval_ms = 1000;