(DEFPROP DUMMYFNS (DUMMYFNS (DECIMAL) (DE DUMMY NIL NIL) (DECIMAL) (PRINT (LIST (ADD1 7.) (QUOTE =) 1. 0.))) VAL→ UE) (DECIMAL) (LAP DUMMY SUBR) (MOVEI 1. (QUOTE NIL)) (POPJ P) NIL (DECIMAL) (PRINT (LIST (ADD1 7.) (QUOTE =) 1. 0.))