#include <stdio.h>
#include <springbok.h>

int main(void) {
  unsigned int start = springbok_ccount();
  printf("%s(%d): Hello printf!\n", __FILE__, __LINE__);
  unsigned int end = springbok_ccount();

  return end - start;
}