let rec summ5 x = 
 5 + x


let res =  summ5 3
printfn "%b" res