

(DEFPROP PROMPT
 (LAMBDA (N) ((LAMBDA (N X) (PROG2 (DEPOSIT 6453 N) X)) N (EXAMINE 6453)))
EXPR)
