#include <stdio.h>

int
foo2()
{
  return 0;
}