let myfile = file.write("rand_test.ar")

for (i from 0 to 1e6) do
  myfile.text("\"")
  myfile.text(string(random()))
  myfile.text("\"\n")