(defun doit()(setq in (infile "learnall.text"))
  
  (setq out (outfile "learnall.foo"))
  
  (prog (char)
	loop (setq char (readc in 'eof))
	(cond ((eq char p)(format out "~%")(go loop)) ;; p is ^k
	      ((eq char 'eof)(closefile out))
	      (t (format out "~A" char)(go loop)))))