(DEFPROP DUMMYFNS (DUMMYFNS (DECIMAL) (DE DUMMY NIL NIL) (DECIMAL) (PRINT (LIST (ADD1 7.) (QUOTE =) 1. 0.))) VALUE) (DECIMAL) (DE DUMMY NIL NIL) (DECIMAL) (PRINT (LIST (ADD1 7.) (QUOTE =) 1. 0.))