/* file: helloworld.c
   Kernighan & Ritchie "hello world!"
*/

#include <stdio.h>

int main(void)
{
  printf("Hello world!\n");

  return 0;

}/* end main */