#include <LibPrintf.h>

void setup() {
  Serial.begin(115200);
  printf("Hello, printf()\n");
}

void loop() {
}