extern int SimMain(int, char*[]);

int main(int c, char *argv[])
{
  return SimMain(c, argv);
}