let mutable Δ = 1
Δ <- Δ + 1
printfn "%d" Δ