#include <Arduino.h>
#include <stdio.h>
#include <serial_interface.h>

#define LED_PIN 13 /* The little red LED is on pin #13 */

void setup(void) {
  init_serial_stdio();      /* Initialization for printf, etc. */
  pinMode(LED_PIN, OUTPUT); /* Digital pin 13 as output */
}

void loop(void) {
  digitalWrite(LED_PIN, HIGH); /* Turning pin on  */
  delay(1000);                 /* 1 second delay  */
  digitalWrite(LED_PIN, LOW);  /* Turning pin off */
  delay(1000);                 /* 1 second delay  */
  printf("#");                 /* Some output */
}