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