(* TEST *)

let rec f = let g = f in fun x -> g x;;