>>886
(de(read-from-string s)(wifs s(read)))
;with-input-from-string --> wifs

(read-from-string s)よりも、(wifs s(read))の方が短い。
わかるか？