#include <stdint.h>

extern int print(char*);

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