let rec fun x 5 + x let res fun 3 printfn res