(FILECREATED "21-May-2016 08:38:58" <PAPA>HELLO..1 304    )


(* Copyright (c)  by NIL. All rights reserved.)

(DEFINEQ

(HELLO
  [LAMBDA NIL                                   (* edited: 
						"21-May-2016 08:")
    (PRINT "HELLO, WORLD!"])
)
(PRETTYCOMPRINT (HELLO))
(DECLARE: DONTCOPY
  (FILEMAP (NIL (116 254 (HELLO 128 . 251)))))
STOP