let f n =
let j = ref 0 in
for i = 1 to n do
j := !j + i
done
!j;;