let rec fact(n:int):int = if (n == 0) then 1 else n * fact(n - 1) in fact(5)