extern int BarObject1(void);

int main(void)
{
  return BarObject1();
}