writefile1

[procedure] writefile1 val name

(def writefile1 (val name) (w/outfile s name (write val s)) val)