#include <stdio.h>

int puts(const char *text) {
  return printf("puts(\"%s\");\n", text);
}