let g x y = match x - y with
  |  1 | -3 ->  1
  | -1 |  3 -> -1
  | x -> assert (List.mem x [-2; 0; 2]); 0