Programming the BBC Micro:bit in C

Finding the black line following buggy feedback loop being too slow (~ 0.5s) I decided to program it in C by following this article: https://www.i-programmer.info/programming/hardware/9651-getting-started-with-cc-on-the-microbit.html And going on to website: https://www.mbed.com/ In particular: https://os.mbed.com/platforms/Microbit/ and: https://os.mbed.com/platforms/Microbit/#getting-started-video Found I already had and account and had programmed Hello World before! Back in 14th April 2020 So looked for buggy example code: https://os.mbed.com/users/AdrianClarke/code/microbit_Buggy_Basics/docs/tip/