#include <stdio.h>

//#define RTC_INC 1024
#define RTC_INC 1000
#define RTC_MS  4096

void main(void)
{
  int tick;
  int rtc_count = RTC_MS;
  int ints = 0;
  
  for(tick = 0; tick < 245760; ++tick)
  {
    if (tick % 4096 == 0)
      printf("ticks: %d, ints: %d\n", tick, ints);
    printf("%s%-*d%d.%03d (%5.6f ms)", (rtc_count >= RTC_MS) ? "+" : "", (rtc_count >= RTC_MS) ? 9 : 10, tick, rtc_count / 1000, rtc_count % 1000, tick / 4096.0);
    if (rtc_count >= RTC_MS) {
      rtc_count -= RTC_MS;
      printf(" - %d", RTC_MS);
      ++ints;
    }
    rtc_count += RTC_INC;
    printf("\n");
  }
  printf("ticks: %d, ints: %d\n", tick, ints);
}