#include <safe-c.h>

void main(void)
{
  put_string("Hello World!\n");
}