int main (string[] args)
{
  stdout.printf ("Hello world!\n");

  return 0;
}