/**
 * @file   hello_world.c
 * @author Ruo Li
 * @date   Thu Feb 19 13:14:21 2004
 * 
 * @brief  our first C program under Linux
 */

#include <stdio.h>

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