/* 
 * hello.c - the quintessential hello world program
 */
#include <stdio.h>

int main () {
  printf("Hello world!\n");
  return 0;
}