/*
 * This program writes out everybody's favorite phrase for a first
 * program. Afterwards it writes out the value returned by
 * the write system call.
 */

main()
{
  int i;
  char s[100];

  printf("Hello world\n");
}