extern "C"
{
  extern void iOSExit ();
}