//  Ces programmes sont sous licence CeCILL-B V1.
int x;

void reinitialise() {
  x = 0;
}
void main() {
  x = 3;
  x = 5;
  reinitialise();
  x = 7;
  reinitialise();
  x = 4;
}