File psl-1983/3-1/tests/20/sub5b.init from the latest check-in

(PUT (QUOTE LIST) (QUOTE TYPE) (QUOTE NEXPR))
(PUT (QUOTE DE) (QUOTE TYPE) (QUOTE FEXPR))
(PUT (QUOTE DF) (QUOTE TYPE) (QUOTE FEXPR))
(PUT (QUOTE DN) (QUOTE TYPE) (QUOTE FEXPR))
(PUT (QUOTE DM) (QUOTE TYPE) (QUOTE FEXPR))
(PUT (QUOTE SETQ) (QUOTE TYPE) (QUOTE FEXPR))
(PUT (QUOTE PROGN) (QUOTE TYPE) (QUOTE FEXPR))
(PUT (QUOTE COND) (QUOTE TYPE) (QUOTE FEXPR))
(PUT (QUOTE QUOTE) (QUOTE TYPE) (QUOTE FEXPR))
(PUT (QUOTE WHILE) (QUOTE TYPE) (QUOTE FEXPR))