#include "mbed.h"

DigitalOut led(LED1);

#ifdef TARGET_KL25Z
DigitalOut out(PTA1);

#elif defined(TARGET_LPC812)
DigitalOut out(P0_12);

#else
DigitalOut out(p5);
#endif

Timeout timer;
 
void toggleOff (void);
 
void toggleOn (void) {
    out = 1;
    led = 1;
    timer.attach_us(toggleOff, 10000);
}
 
void toggleOff(void) {
    out = 0;
    led = 0;
    timer.attach_us(toggleOn, 30000);
}
 
int main() {
    toggleOn();
}