let succ : int -> int = (\ (x : int) -> x + 1 : int -> int)

let main : int = succ (0)