extern "C"
{
  extern void iOSExit ();
  extern int iOSReadUserGameData();
  extern int iOSWriteUserGameData(int i);
}