procedure main(args)
    every write(1 to args[1])
end