#include <stdio.h>
#include <math.h>
#include <board.h>
#include "swtimer.h"


int main(void)
{
    double a = 1.2;
    printf("Hello world! %g\n", a);
    return 0;
}