#include <stdio.h>

int __nocommandline = 1;
int __oslibversion = 34;

int main()
{
  printf("hello world!\n");
  return 0;
}