In `test-microbit/circle.hex`, each button is intended to act only on a push, not on a release. A toggles the speed, B toggles the direction. Building with the aarch64-hosted GCC 13.1.0 compiler, the buttons (usually) act on both!