int TestSymbol(void);

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