program {
  int param;
  write ("Specify int>> ");  read (param);
  case (param) of
    1, 3: write(1," or ",3);
    2, 3: write(2," or ",3);  /* should be an error! */
  end;
}