extern int ObjCMain(void);
int main(void)
{
  return ObjCMain();
}