for [JavaScript snippet]

function main() {
  for (var i=0; i<10; i++) {
     txt_out(i)
  }
}