/* hello.c - Don Yang (uguu.org)

   09/03/04
                                                                           */

#include<stdio.h>

int main(void)
{
   for(;; puts("HELLO WORLD"));
   /*@notreached@*/return 0;
}