#include <stdio.h>

void ERROR(char *str) {
  fprintf(stderr, "%s", str);
}