val _ = __builtin "exit"
  (case (1, 2, 42) of
    (_, 2, x) => x
  | _ => 13)