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