#include <stdio.h>
#include "mpi.h"
int main(int argc, char** argv) {
  MPI_Init(&argc, &argv);
  printf("\tHello World!\n");
  MPI_Finalize();
  return 0;
}