(%stdin)(r)file 99 string 2 copy readline def readstring pop =