/*
 * Cours "Sémantique et Application à la Vérification de programmes"
 *
 * Josselin Giet 2021
 * Ecole normale supérieure, Paris, France / CNRS / INRIA
 */

void main(){
  int i = rand(0, 3);
  int j = rand(-10, 20);
  int x = i * j;
  assert(x >= -30);
  assert(x <= 60);
  assert(x != -30); //@KO
  assert(x != 60); //@KO
}