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