#include "mbed.h"
	
	Ticker tick;
	DigitalOut dout1(PTD1);
	DigitalOut dout2(LED_RED);
	
	void inverte() {
	dout2 = !dout2;
	}
	
	int main() {
		dout1=1; dout2=1;
		tick.attach(&inverte, 0.79); //prepara timer de 0.7 seg.
		while(true) {
		dout1 = !dout1;
		wait (0.33); // flip led1 every 0.3 seconds
		}
	}