$ od -c -N 50000 [eris]<Lisp>KOTO>LISPUSERS>EXECFNS.TEDIT!2
0000000    X   E   R   O   X  \t   E   X   E   C   F   N   S  \r   2  \r
0000020   \r   4  \r  \r   1  \r  \r   E   X   E   C   F   N   S  \r   1
0000040   \r  \r   4  \r  \r   B   y   :           J   e   f   f   r   e
0000060    y       S   .       S   h   u   l   m   a   n       (   S   h
0000100    u   l   m   a   n   @   R   u   t   g   e   r   s   .   a   r
0000120    p   a   )  \r   T   h   e       p   u   r   p   o   s   e    
0000140    o   f       t   h   i   s       p   a   c   k   a   g   e    
0000160    i   s       t   o       e   m   u   l   a   t   e       T   O
0000200    P   S   -   2   0       l   o   g   i   c   a   l       n   a
0000220    m   e   s   .       t   h   e       f   u   l   l       D   E
0000240    F       m   a   c   r   o       i   s   :  \r   D   E   F    
0000260    l   o   g   i   c   a   l   -   n   a   m   e   :  \t  \t  \t
0000300   \t  \t  \t  \t  \t  \t   [   D   e   f   i   n   i   t   i   o
0000320    n   ]  \r   W   h   e   r   e       l   o   g   i   c   a   l
0000340    -   n   a   m   e       i   s       a   n   y       l   o   g
0000360    i   c   a   l       n   a   m   e       y   o   u       w   i
0000400    s   h       a   n   d       t   h   e       o   p   t   i   o
0000420    n   a   l       f   i   e   l   d       d   e   f   i   n   i
0000440    t   i   o   n       i   s       t   h   e       d   e   f   i
0000460    n   i   t   i   o   n   .       I   f       l   o   g   i   c
0000500    a   l   -   n   a   m   e   :       i   s       a   l   r   e
0000520    a   d   y       d   e   f   i   n   e   d       t   h   e   n
0000540        d   e   f   i   n   i   t   i   o   n       w   i   l   l
0000560        r   e   p   l   a   c   e       t   h   e       o   l   d
0000600        d   e   f   i   n   i   t   i   o   n   .       I   f    
0000620    d   e   f   i   n   i   t   i   o   n       i   s       n   o
0000640    t       p   r   e   s   e   n   t       t   h   e   n       l
0000660    o   g   i   c   a   l   -   n   a   m   e   :       w   i   l
0000700    l       b   e       r   e   m   o   v   e   d       f   r   o
0000720    m       t   h   e       d   e   f   i   n   i   t   i   o   n
0000740        l   i   s   t   .       A   l   l       c   u   r   r   e
0000760    n   t       l   o   g   i   c   a   l       d   e   f   i   n
0001000    i   t   i   o   n   s       a   r   e       k   e   p   t    
0001020    i   n       a       l   i   s   t       f   o   r   m   a   t
0001040        o   n       t   h   e       g   l   o   b   a   l       v
0001060    a   r   i   a   b   l   e       *   L   O   G   I   C   A   L
0001100    .   D   E   F   I   N   I   T   I   O   N   S   *   .  \r   T
0001120    h   e       l   i   s   p   x   m   a   c   r   o       D   E
0001140    F   ?       c   a   n       b   e       u   s   e   d       t
0001160    o       s   e   e       w   h   a   t       l   o   g   i   c
0001200    a   l       d   e   f   i   n   i   t   i   o   n   s       a
0001220    r   e       c   u   r   r   e   n   t   l   y       d   e   f
0001240    i   n   e   d   .       T   h   e       f   o   r   m   a   t
0001260        o   f       D   E   F   ?       i   s   :  \r  \t   D   E
0001300    F   ?       [   l   o   g   i   c   a   l   -   n   a   m   e
0001320    :   ]  \t  \t  \t  \t  \t  \t  \t  \t   [   L   i   s   p   x
0001340    m   a   c   r   o   ]  \r   w   h   e   r   e       l   o   g
0001360    i   c   a   l   -   n   a   m   e   :       i   s       e   i
0001400    t   h   e   r       a       l   o   g   i   c   a   l       n
0001420    a   m   e       o   r       a       '   *   '       (   l   e
0001440    a   v   i   n   g       l   o   g   i   c   a   l   -   n   a
0001460    m   e   :       a   b   s   e   n   t       i   s       t   h
0001500    e       s   a   m   e       a   s       '   *   '   )   .    
0001520    Y   o   u       w   i   l   l       b   e       t   o   l   d
0001540        w   h   a   t       l   o   g   i   c   a   l   -   n   a
0001560    m   e   :       i   s       d   e   f   i   n   e   d       a
0001600    s       o   r       g   i   v   e   n       a       l   i   s
0001620    t       o   f       a   l   l       t   h   e       c   u   r
0001640    r   e   n   t   l   y       d   e   f   i   n   e   d       l
0001660    o   g   i   c   a   l       n   a   m   e   s       i   s    
0001700    y   o   u       g   i   v   e       *       (   o   r       n
0001720    o   t   h   i   n   g   )   .  \r   T   h   e       l   i   s
0001740    p   x   m   a   c   r   o   s       T   Y   ,       C   O   N
0001760    N       a   n   d       K   D       (   d   e   f   i   n   e
0002000    d       b   e   l   o   w   )       h   a   v   e       b   e
0002020    e   n       (   r   e   )   d   e   f   i   n   e   d       t
0002040    o       e   x   p   a   n   d       l   o   g   i   c   a   l
0002060        n   a   m   e   s       t   o       t   h   e   i   r    
0002100    f   u   l   l       f   i   l   e       d   e   f   i   n   i
0002120    t   i   o   n   .       I   n       a   d   d   i   t   i   o
0002140    n       t   h   e       f   u   n   c   t   i   o   n   s    
0002160    I   N   F   I   L   E   ,       O   U   T   F   I   L   E   ,
0002200        I   N   F   I   L   E   P   ,       O   U   T   F   I   L
0002220    E   P       a   n   d       C   O   P   Y   F   I   L   E    
0002240    (   s   e   e       f   u   r   t   h   e   r       c   o   m
0002260    m   e   n   t   s       o   n       C   O   P   Y   F   I   L
0002300    E       b   e   l   o   w   )       h   a   v   e       a   l
0002320    s   o       b   e   e   n       m   o   d   i   f   i   e   d
0002340    /   a   d   v   i   s   e   d       t   o       e   x   p   a
0002360    n   d       l   o   g   i   c   a   l       n   a   m   e   s
0002400    .  \r   T   h   e       f   u   n   c   t   i   o   n       t
0002420    h   a   t       i   m   p   l   e   m   e   n   t   s       D
0002440    E   F       i   s   :  \r  \t   (   D   E   F   I   N   E   .
0002460    L   O   G   I   C   A   L   .   D   E   V   I   C   E       l
0002500    o   g   i   c   a   l   -   n   a   m   e       d   e   f   i
0002520    n   i   t   i   o   n   )  \t  \t  \t  \t   [   F   u   n   c
0002540    t   i   o   n   ]  \r  \t  \t   D   E   F   ?       i   s    
0002560    i   m   p   l   e   m   e   n   t   e   d       b   y   :  \r
0002600   \t   (   S   H   O   W   .   L   O   G   I   C   A   L   .   D
0002620    E   F   I   N   I   T   I   O   N   S       l   o   g   i   c
0002640    a   l   -   n   a   m   e   )  \t  \t  \t  \t  \t   [   F   u
0002660    n   c   t   i   o   n   ]  \r  \t  \t   T   h   e       f   u
0002700    n   c   t   i   o   n  \r  \t   (   L   O   G   I   C   A   L
0002720    ?       f   i   l   e   n   a   m   e   )  \t  \t  \t  \t  \t
0002740   \t  \t  \t   [   F   u   n   c   t   i   o   n   ]  \r  \t  \t
0002760    r   e   t   u   r   n   s       t   h   e       f   u   l   l
0003000        f   i   l   e       n   a   m   e       o   f       f   i
0003020    l   e   n   a   m   e       w   i   t   h       a   n   y    
0003040    l   o   g   i   c   a   l       n   a   m   e   s       e   x
0003060    p   a   n   d   e   d   .      \r   T   h   e       l   i   s
0003100    p   x   m   a   c   r   o       K   D       a   n   d       f
0003120    u   n   c   t   i   o   n       K   D   E   L   E   T   E    
0003140    i   m   p   l   e   m   e   n   t       t   h   e       T   O
0003160    P   S   -   2   0       K   D   E   L   E   T   E       c   o
0003200    m   m   a   n   d   .       T   h   e   y       b   o   t   h
0003220        t   a   k   e       a   s       a   r   g   u   m   e   n
0003240    t   s       a       f   i   l   e       n   a   m   e       (
0003260    w   i   t   h       w   i   l   d   c   a   r   d   s   )    
0003300    a   n   d       w   i   l   l       d   e   l   e   t   e    
0003320    a   l   l       b   u   t       t   h   e       m   o   s   t
0003340        r   e   c   e   n   t       v   e   r   s   i   o   n    
0003360    o   f       t   h   e       m   a   t   c   h   i   n   g    
0003400    f   i   l   e   s   .  \r   T   h   e       f   u   n   c   t
0003420    i   o   n       D   E   F   A   U   L   T   F   I   L   E    
0003440    w   i   l   l       f   i   l   l       i   n       p   o   s
0003460    s   i   b   l   e       m   i   s   s   i   n   g       f   i
0003500    l   e       n   a   m   e       a   n   d       e   x   t   e
0003520    n   s   i   o   n       i   n       i   t   s       f   i   r
0003540    s   t       a   r   g   u   m   e   n   t       f   r   o   m
0003560        i   t   s       s   e   c   o   n   d   .       T   h   e
0003600        f   u   n   c   t   i   o   n       C   O   P   Y   F   I
0003620    L   E       h   a   s       b   e   e   n       i   m   p   l
0003640    e   m   e   n   t   e   d       t   o       u   s   e       t
0003660    h   i   s       f   u   n   c   t   i   o   n       t   o    
0003700    d   e   f   a   u   l   t       t   o       T   O   F   I   L
0003720    E       n   a   m   e   .  \r   B   o   t   h       F   R   O
0003740    M   F   I   L   E       a   n   d       T   O   F   I   L   E
0003760        w   i   l   l       e   x   p   a   n   d       l   o   g
0004000    i   c   a   l       n   a   m   e   s   .       T   h   e    
0004020    f   u   n   c   t   i   o   n       C   O   P   Y   F   I   L
0004040    E       h   a   s       b   e   e   n       m   o   d   i   f
0004060    i   e   d       t   o       p   r   e   s   e   r   v   e    
0004100    t   h   e       f   i   l   e       t   y   p   e       b   e
0004120    t   w   e   e   n       f   i   l   e       t   r   a   n   s
0004140    f   e   r   s   .       W   h   e   n       t   r   a   n   s
0004160    f   e   r   r   i   n   g       f   r   o   m       f   i   l
0004200    e       s   e   r   v   e   r       t   o       D   o   l   p
0004220    h   i   n   ,       i   t       u   s   e   s       t   h   e
0004240        G   E   T   F   I   L   E   I   N   F   O       f   u   n
0004260    c   t   i   o   n       t   o       g   e   t       t   h   e
0004300        f   i   l   e       t   y   p   e   .       W   h   e   n
0004320        t   r   a   n   s   f   e   r   r   i   n   g       f   r
0004340    o   m       t   h   e       D   o   l   p   h   i   n   ,    
0004360    i   t       a   c   c   e   p   t   s       a   n       o   p
0004400    t   i   o   n   a   l       t   h   i   r   d       a   r   g
0004420    u   m   e   n   t       b   e   i   n   g       e   i   t   h
0004440    e   r       T   E   X   T       o   r       B   I   N   A   R
0004460    Y       t   o       s   p   e   c   i   f   y       t   h   e
0004500        f   i   l   e       t   y   p   e   .       I   t       d
0004520    e   f   a   u   l   t   s       t   o       T   E   X   T    
0004540    i   f       n   o   t       g   i   v   e   n   .  \0  \0  \0
0004560   \0  \0 003   (   L   I   S   T       (   (   P   A   G   E    
0004600    N   I   L       (   F   O   L   I   O   I   N   F   O       (
0004620    A   R   A   B   I   C   )       S   T   A   R   T   I   N   G
0004640    P   A   G   E   #       1   )       (   0       0       6   1
0004660    2       7   9   2   )       (   (   F   O   L   I   O       N
0004700    I   L       (   P   A   R   A   L   O   O   K   S       (   Q
0004720    U   A   D       C   E   N   T   E   R   E   D   )       C   H
0004740    A   R   L   O   O   K   S       (   S   U   P   E   R   S   C
0004760    R   I   P   T       0       S   I   Z   E       1   0       F
0005000    A   M   I   L   Y       M   O   D   E   R   N       O   V   E
0005020    R   L   I   N   E       O   F   F       S   T   R   I   K   E
0005040    O   U   T       O   F   F       U   N   D   E   R   L   I   N
0005060    E       O   F   F       S   L   O   P   E       R   E   G   U
0005100    L   A   R       W   E   I   G   H   T       M   E   D   I   U
0005120    M   )       F   O   R   M   A   T   I   N   F   O       (   A
0005140    R   A   B   I   C   )   )       (   1   7   4       3   6    
0005160    2   8   8       3   6   )       N   I   L   )       (   H   E
0005200    A   D   I   N   G       N   I   L       (   H   E   A   D   I
0005220    N   G   T   Y   P   E       R   U   N   N   I   N   G   H   E
0005240    A   D   )       (   8   4       7   4   4       4   4   4    
0005260    3   6   )       N   I   L   )       (   T   E   X   T       N
0005300    I   L       N   I   L       (   8   4       9   6       4   5
0005320    6       6   0   0   )       N   I   L   )   )   )       (   P
0005340    A   G   E       N   I   L       N   I   L       (   0       0
0005360        6   1   2       7   9   2   )       (   (   F   O   L   I
0005400    O       N   I   L       (   P   A   R   A   L   O   O   K   S
0005420        (   Q   U   A   D       C   E   N   T   E   R   E   D   )
0005440        C   H   A   R   L   O   O   K   S       (   S   U   P   E
0005460    R   S   C   R   I   P   T       0       S   I   Z   E       1
0005500    0       F   A   M   I   L   Y       M   O   D   E   R   N    
0005520    O   V   E   R   L   I   N   E       O   F   F       S   T   R
0005540    I   K   E   O   U   T       O   F   F       U   N   D   E   R
0005560    L   I   N   E       O   F   F       S   L   O   P   E       R
0005600    E   G   U   L   A   R       W   E   I   G   H   T       M   E
0005620    D   I   U   M   )   )       (   2   8   2       4   2       7
0005640    2       3   6   )       N   I   L   )       (   H   E   A   D
0005660    I   N   G       N   I   L       (   H   E   A   D   I   N   G
0005700    T   Y   P   E       R   U   N   N   I   N   G   H   E   A   D
0005720    )       (   8   4       7   4   4       4   4   4       3   6
0005740    )       N   I   L   )       (   T   E   X   T       N   I   L
0005760        N   I   L       (   8   4       9   6       4   5   6    
0006000    6   0   0   )       N   I   L   )   )   )       (   P   A   G
0006020    E       N   I   L       N   I   L       (   0       0       6
0006040    1   2       7   9   2   )       (   (   F   O   L   I   O    
0006060    N   I   L       (   P   A   R   A   L   O   O   K   S       (
0006100    Q   U   A   D       C   E   N   T   E   R   E   D   )       C
0006120    H   A   R   L   O   O   K   S       (   S   U   P   E   R   S
0006140    C   R   I   P   T       0       S   I   Z   E       1   0    
0006160    F   A   M   I   L   Y       M   O   D   E   R   N       O   V
0006200    E   R   L   I   N   E       O   F   F       S   T   R   I   K
0006220    E   O   U   T       O   F   F       U   N   D   E   R   L   I
0006240    N   E       O   F   F       S   L   O   P   E       R   E   G
0006260    U   L   A   R       W   E   I   G   H   T       M   E   D   I
0006300    U   M   )   )       (   2   8   2       4   2       7   2    
0006320    3   6   )       N   I   L   )       (   H   E   A   D   I   N
0006340    G       N   I   L       (   H   E   A   D   I   N   G   T   Y
0006360    P   E       R   U   N   N   I   N   G   H   E   A   D   )    
0006400    (   8   4       7   4   4       4   4   4       3   6   )    
0006420    N   I   L   )       (   T   E   X   T       N   I   L       N
0006440    I   L       (   8   4       9   6       4   5   6       6   0
0006460    0   )       N   I   L   )   )   )   )   )  \0  \0  \0  \0  \0
0006500  005  \0 005  \0   (  \0  \0  \0  \0 001 310  \0 021  \0  \0  \0
0006520  004 002 003  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0
0006540   \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0   (  \0 212  \0
0006560  212 001   8  \0 006  \0  \0  \0 004 002 003  \0  \0  \0  \0  \0
0006600   \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0
0006620   \0  \0  \0  \0   (  \0  \0  \0  \0 001 310  \0  \v  \0  \0  \0
0006640  004 002 004  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0
0006660   \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0   (  \0 212  \0
0006700  212 001   8  \0  \0  \0  \0  \0 004 002 004  \0  \0  \0  \0  \0
0006720   \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0
0006740   \0  \0  \0  \0   D  \0  \0  \0  \0 001 310  \0  \0  \0  \0  \0
0006760   \0 003 004  \0  \0 001 001 310 001  \0  \0  \0  \0  \0  \0  \0
0007000   \v   P   A   G   E   H   E   A   D   I   N   G  \0  \v   R   U
0007020    N   N   I   N   G   H   E   A   D  \0  \0  \0  \0  \0  \0  \0
0007040   \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0 004  \0 005  \0
0007060  024  \0 006   M   O   D   E   R   N  \0  \n  \0  \0  \0  \0  \0
0007100   \0  \0  \0  \0 024  \0 006   M   O   D   E   R   N  \0  \f  \0
0007120   \0  \0  \0  \0  \0 002  \0  \0 024  \0 006   M   O   D   E   R
0007140    N  \0 006  \0  \0  \0  \0  \0  \0  \0  \0  \0 024  \0 006   M
0007160    O   D   E   R   N  \0  \n  \0  \0  \0  \0  \0  \0 001  \0  \0
0007200  022  \0 004   L   O   G   O  \0 030  \0  \0  \0  \0  \0  \0  \0
0007220   \0  \0  \0  \0  \0  \0 002  \0 005  \0  \0  \0 005  \0  \0  \0
0007240   \0 005  \0  \0  \0 001  \0  \0  \0  \0 003  \0  \0  \0  \b  \0
0007260   \0  \0  \0 001  \0  \0  \0  \0  \0 002  \0 005  \0  \0  \0 002
0007300   \0 001  \0  \v   H   R   U   L   E   .   G   E   T   F   N 001
0007320   \0 024  \0 006   M   O   D   E   R   N  \0  \n  \0  \0  \0  \0
0007340   \0  \0  \0  \0  \0  \0  \0 001  \0  \0  \0  \0 001  \0  \0  \0
0007360   \0  \0 002  \0 004  \0  \0  \0 002  \0 001  \0  \v   H   R   U
0007400    L   E   .   G   E   T   F   N 001  \0 024  \0 006   M   O   D
0007420    E   R   N  \0  \n  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0
0007440  001  \0  \0  \0  \0 001  \0  \0  \0  \0  \0 002  \0 004  \0  \0
0007460   \0 002  \0 001  \0  \v   H   R   U   L   E   .   G   E   T   F
0007500    N 001  \0 024  \0 006   M   O   D   E   R   N  \0  \n  \0  \0
0007520   \0  \0  \0  \0  \0  \0  \0  \0  \0 001  \0  \0  \0  \0 001  \0
0007540   \0  \0  \0  \0 002  \0 002  \0  \0  \0  \b  \0  \0  \0  \0 002
0007560   \0  \0  \0  \0  \0 002  \0 002  \0  \0  \0 002  \0 001  \0  \v
0007600    H   R   U   L   E   .   G   E   T   F   N 001  \0 024  \0 006
0007620    M   O   D   E   R   N  \0  \f  \0  \0  \0  \0  \0  \0 002  \0
0007640   \0  \0  \0 001  \0  \0  \0  \0 002  \0  \0  \0  \0  \0 002  \0
0007660  004  \0  \0  \0 002  \0 001  \0  \v   H   R   U   L   E   .   G
0007700    E   T   F   N 001  \0 024  \0 006   M   O   D   E   R   N  \0
0007720   \f  \0  \0  \0  \0  \0  \0 002  \0  \0  \0  \0 001  \0  \0  \0
0007740   \0 002  \0  \0  \0  \0  \0 002  \0 001  \0  \0  \0   /  \0  \0
0007760   \0  \0 001  \0  \0  \0  \0  \0 002  \0 003  \0  \0  \0   X  \0
0010000   \0  \0  \0 001  \0  \0  \0  \0  \0 002  \0 003  \0  \0  \0   '
0010020   \0  \0  \0  \0 001  \0  \0  \0  \0  \0 002  \0 003  \0  \0 001
0010040    |  \0  \0  \0  \0 001  \0  \0  \0  \0  \0 002  \0 003  \0  \0
0010060   \0   n  \0  \0  \0  \0 001  \0  \0  \0  \0  \0 002  \0 003  \0
0010100   \0  \0   *  \0  \0  \0  \0 001  \0  \0  \0  \0  \0 002  \0 003
0010120   \0  \0  \0 362  \0  \0  \0  \0 001  \0  \0  \0  \0  \0 002  \0
0010140  003  \0  \0 001   )  \0  \0  \0  \0 001  \0  \0  \0  \0  \0 002
0010160   \0 003  \0  \0  \0   %  \0  \0  \0  \0 001  \0  \0  \0  \0  \0
0010200  002  \0 003  \0  \0  \0 030  \0  \0  \0  \0 001  \0  \0  \0 027
0010220   \0  \0  \0  \0 004  \0  \0  \0   E  \0  \0  \0  \0 001  \0  \0
0010240   \0  \f  \0  \0  \0  \0 004  \0  \0  \0   +  \0  \0  \0  \0 001
0010260   \0  \0  \0  \b  \0  \0  \0  \0 004  \0  \0  \0   _  \0  \0  \0
0010300   \0 001  \0  \0  \0  \0  \0 002  \0 003  \0  \0  \0 316  \0  \0
0010320   \0  \0 001  \0  \0  \0  \0  \0 002  \0 003  \0  \0  \0 321  \0
0010340   \0  \0  \0 001  \0  \0  \0  \0  \0 002  \0 003  \0  \0 001 225
0010360   \0  \0  \0  \0 001  \0  \0  \t   m  \0   6   z 272            
0010375