#include "mbed.h"

// main() runs in its own thread in the OS
int main()
{
    while (true) {

    }
}