procedure main(arglist)
m := open(arglist[1],"m")
while write(read(m))
end