(DEFPROP MOREFNS (MOREFNS *MIN *MAX FIX+ FILELST)
           VALUE)
  (DEFPROP *MIN (LAMBDA (A B)
                        (COND ((GREATERP A B)
                               B)
                              (T A)))
           EXPR)
  (DEFPROP *MAX (LAMBDA (A B)
                        (COND ((GREATERP B A)
                               B)
                              (T A)))
           EXPR)
  (DEFPROP FIX+ (LAMBDA (N)
                        (FIX (PLUS N .999999)))
           EXPR)
  (DEFPROP FILELST
           (FILELST FORSM DUMMY INIT FORLSP MORE CYCPRE CYCOMA CYCOMB 
                    CYCOMD CYCOME CYCOMF CYCOMG CYCOMH CYCDRA CYCDRB 
                    CYCDRC CYCDRD CYCDRE CYCDRF CYCDRG CYCDRH CYCDRI 
                    CYCDRJ CYCMR1 CYCCAT CYCMR2 CYCFRM CYCXGP)
           VALUE)
STOP