#include <stdio.h>

void FFDebugMessage(const char *msg)
{
  fprintf(stderr, msg);
}