val _ = __builtin "exit"
  (case 42 :: [] of
    x :: _ => x
  | _ => 13)