/* File: helloworld.c */
#include <stdio.h>

main()
{ printf("Hello world\n");
}