#include <stdio.h>
#include "debug.h"

int main(int argc, char* argv[])
{
  TRACE("Hello World");
  return 0;
}