// https://iot-kmutnb.github.io/blogs/mbedos/mbed-rp2040-part-1/
#include "mbed.h"
using namespace mbed; // for DigitalOut
using namespace rtos; // for ThisThread
using namespace std::chrono; // for milliseconds()
int main() {
while (true) {
}
}