/w{(%stdout)(w)file exch write}def 1 1 (%stdin)(r)file read pop{43 w}for 46 w