#include <stdint.h>

extern int print(char*);

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

  char c = *((char*) 0x80BEEF);
}