;;;; A u64 constant above 2^63 written in decimal, and an integer literal too
;;;; wide for i32 as a cast's argument.

(defconst top u64 18446744073709551615)
(defonce fnv u64 14695981039346656037)

(defn main [] i32
  (println top)
  (println fnv)
  (println (u64 2935910691))
  (println (u64 18446744073709551615))
  (println (i64 -5000000000))
  (println (f64 4000000000))
  ;; A literal that fits i32 keeps its default and is cast, as before.
  (println (u32 -1))
  0)