include mbed DigitalOut led PC_12 int main for led led wait

#include "mbed.h"

DigitalOut led(PC_12);

int main() {
        for(;;) {
                led = !led;
                wait(0.5);
        }
}