#include <stdio.h>

int puts(const char *str) {
  fputs("Hello world!\n", stdout);
}

int main() {
  printf("This shouldn't print\n");
  return 0;
}