#include <stdio.h>
void foo()
{
  stdputstr("Hello\n");
}