let x =
  match 1 < 0 with
  | true  -> "something is terribly wrong here"
  | false -> "correct"