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

void main(void) {
  int x = 0;

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

  while(1) {
    sleep(1);
    printf("0x%04x:0x%08x: 0x%08x\n", getpid(), (uint32_t) getpdir(), x++);
  }
}