/*
 * Hello World!
 * CSE 413 demo 10/15 rea
 */

#include <stdio.h>

int main(int argc, char**argv) {
  printf("Hello World!\n");
  return 0;
}