#include <stdint.h>
#include <stdio.h>
#include <time.h>

void main(void) {
  printf("We did it ma!\n");

  while(1) {
    sleep(1);
    printf("1000ms tick!\n");
  }
}