extern int GMSHBOX(int argc, char *argv[]);

int main(int argc, char *argv[])
{
  return GMSHBOX(argc, argv);
}