method wait =
      nb_waits <- nb_waits + 1;
      GMain.main ()