#include <stdio.h>
int
main (
void
)
{
/* write a string to standard output */
fputs
(
"Hello world\n"
, stdout );
return
0;
}