(match 1 with
  | 0 => 0
  | 2 => 0
  | 4 => 0
  | 6 => 0
  | 1 => 1
  | 7 => 1
  | 3 => -1
  | 5 => -1) =
  match 1 with
  | 0 => 0
  | 2 => 0
  | 4 => 0
  | 6 => 0
  | 1 => 1
  | 7 => 1
  | 3 => -1
  | 5 => -1