#include <stdio.h>
static volatile char *ciaa_sdr = (volatile char *) 0xbfec01;

int main(void) {
  int i;
  for (i = 0; i < 1000; ++i) {
    printf("%2x", *ciaa_sdr);
  }
}