#include <stdio.h>
#include "xbt/log.h"
XBT_LOG_NEW_DEFAULT_CATEGORY(HelloWorld,
                             "Messages specific for this Hello World example");
void main()
{
  XBT_INFO("Hello World !!!");
}
