#include "bar.h"
#include "bat.h"
#include "foo.h"
#include "baz.h"

int main(int, char**)
{
  return 0;
}