let a = Array.init 10000 (fun i -> (float_of_int i) +. 3.)
  and s = ref 0. in
  for j = 0 to 999 do
  for i = 0 to 9999 do s := !s +. a.(i) done done;
  print_float !s;;