ref.cd

let x = ref Int 0;;

let fun loop ([] : []) :  [] =
  print "Hello world !\n";
  x := !x + 1;
  if !x << 10 then loop [] else [];;

loop [];;