00100 00200 00300 (DEFPROP EDINIT 00400 (LAMBDA NIL 00500 (PROG NIL 00600 (PROG (%X)) 00700 (PUTSYM (MEMQ (GET (QUOTE MEMQ) (QUOTE SUBR))) (UNBOUN (CDR (GET (QUOTE %X) (QUOTE VALUE))))))) 00800 EXPR) 00900 01000 (EDINIT)