$ od -c -N 50000 [_CD6_]<franchi>CENTAUR>lelisp>v15.22>sun4OS4>o>kern.o
0000000  001 003 001  \a  \0  \0  \b 340  \0  \0  \0 030  \0  \0  \0  \0
0000020   \0  \0 001 230  \0  \0  \0  \0  \0  \0  \0   <  \0  \0  \0  \0
0000040  235 343 277 240 221   .     001   @  \0  \0  \0 220 002      \b
0000060  220 002      \b 360   "   ? 374 201 307 340  \b 221 350  \0  \b
0000100  235 343 277 240 177 377 377 367 220 020  \0 031 272 020  \0  \b
0000120  360   ' 177 370 220 020  \0 035 222 020      \0   @  \0  \0 020
0000140  224 020  \0 031 201 307 340  \b 221 350  \0 035 235 343 277 240
0000160    @  \0  \0  \0 220   &      \b 201 307 340  \b 221 350  \0  \b
0000200  201 303 340  \b 320 002   ? 370 322   "   ? 370 201 303 340  \b
0000220  220  \0      \0 201 303 340  \b 320 002   ? 374 200 220  \0  \n
0000240  223   *   ` 001 002 200  \0  \a 220 002  \0  \t 224   " 240 001
0000260  200 220  \0  \n 300   2  \0  \0 022 277 377 375 220 002     002
0000300  201 303 340  \b 220  \0      \0 200 242 200  \b   2 200  \0  \n
0000320  223   *   ` 001 200 242   @  \v   $ 200  \0  \a 223   *   ` 001
0000340  232 002 300  \f 200 243   @  \t   4 200  \0 017 222 002   @  \f
0000360  223   *   ` 001 227   * 340 001 224 002 200  \v 220 002  \0  \t
0000400  200 220  \0  \f 002 200  \0 025 001  \0  \0  \0 302 022 200  \0
0000420  302   2  \0  \0 230   #     001 224 002 240 002 020 277 377 371
0000440  220 002     002 223   *   ` 001 200 220  \0  \f 233   +   ` 001
0000460  220 002  \0  \t 002 200  \0  \t 224 002 200  \r 224   " 240 002
0000500  304 022 200  \0 230   #     001 200 220  \0  \f 220   "     002
0000520  022 277 377 373 304   2  \0  \0 201 303 340  \b 220  \0      \0
0000540  223   *   ` 001 324   2  \0  \t 201 303 340  \b 220  \0      \0
0000560  223   *   ` 001 201 303 340  \b 320 022  \0  \t 222 002   @  \n
0000600  223   *   ` 001 200 220  \0  \n 002 200  \0  \v 220 002  \0  \t
0000620  220   "     002 326 022  \0  \0 200 220  \0  \v   2 200  \0  \a
0000640  200 220  \0  \n 224   " 240 001 200 220  \0  \n   2 277 377 372
0000660  220   "     002 200 220  \0  \n 022 200  \0 003 001  \0  \0  \0
0000700  224 020     001 201 303 340  \b 220  \0  \0  \n 223   *   ` 001
0000720  322 022  \0  \t 200 220  \0  \t 025  \0  \0     232 020      \0
0000740  022 200  \0 004 220 020  \0  \n 020 200  \0  \f 220 020     020
0000760  200 212   @  \b   2 200  \0  \t 220 020  \0  \r 221   2     001
0001000  221   *     020 221   2     020 200 212   @  \b 002 277 377 374
0001020  232 003   ` 001 220 020  \0  \r 201 303 340  \b 001  \0  \0  \0
0001040  223   *   ` 001 320 022  \0  \t 027  \0  \0     200 242  \0  \v
0001060    * 200  \0 003 220 020     001 220 020      \0 201 303 340  \b
0001100  001  \0  \0  \0 223   *   ` 001 320 022  \0  \t 200 220  \0  \b
0001120    2 200  \0 003 226 020      \0 226 020     001 221   * 340 020
0001140  221   :     020 221   *     020 201 303 340  \b 221   :     020
0001160  223   *   ` 001 320 022  \0  \t 027  \0  \0     200 212  \0  \v
0001200    " 200  \0 003 220 020      \0 220 020     001 201 303 340  \b
0001220  001  \0  \0  \0 223   *   ` 001 320 022  \0  \t 220  \n     001
0001240  221   *     020 221   :     020 221   *     020 201 303 340  \b
0001260  221   :     020 223   *   ` 001 320 022  \0  \t 223   * 340 001
0001300  322 022 200  \t 200 242  \0  \t   : 200  \0 004 200 242  \0  \t
0001320  020 200  \0 005 220 020   ? 377   2 200  \0 003 220 020     001
0001340  220 020      \0 201 303 340  \b 001  \0  \0  \0 223   *   ` 001
0001360  220 002  \0  \t 200 220  \0  \n 031  \0  \0   ? 002 200  \0  \v
0001400  222 003   # 377 326 022  \0  \0 224   " 240 001 226 032 300  \t
0001420  227   * 340 020 227   2 340 020 326   2  \0  \0 200 220  \0  \n
0001440  022 277 377 371 220 002     002 201 303 340  \b 220  \0      \0
0001460  227   * 340 001 324 022 200  \v 223   *   ` 001 220 002  \0  \t
0001500  330 022  \0  \0 230  \v  \0  \n 231   +     020 231   3     020
0001520  330   2  \0  \0 201 303 340  \b 220  \0      \0 227   * 340 001
0001540  324 022 200  \v 223   *   ` 001 220 002  \0  \t 330 022  \0  \0
0001560  230 023  \0  \n 231   +     020 231   3     020 330   2  \0  \0
0001600  201 303 340  \b 220  \0      \0 227   * 340 001 324 022 200  \v
0001620  223   *   ` 001 220 002  \0  \t 330 022  \0  \0 230 033  \0  \n
0001640  231   +     020 231   3     020 330   2  \0  \0 201 303 340  \b
0001660  220  \0      \0 200 220  \0  \r   2 200  \0 005 200 220  \0  \n
0001700  231   +     001 020 200  \0 025 300   2 300  \f 223   *   ` 001
0001720  204 020     020 206 020      \0 220 002  \0  \t 002 200  \0  \r
0001740  204     200  \r 322 022  \0  \0 203   *   @  \r 202 020   @ 003
0001760  207   2   @ 002 224   " 240 001 200 220  \0  \n 207   ( 340 020
0002000  302   2  \0  \0 207   0 340 020 022 277 377 367 220 002     002
0002020  231   +     001 306   2 300  \f 201 303 340  \b 220  \0      \0
0002040  200 220  \0  \r   2 200  \0 005 222 002   @  \n 231   +     001
0002060  020 200  \0 026 300   2 300  \f 223   *   ` 001 200 220  \0  \n
0002100  204 020     020 206 020      \0 220 002  \0  \t 002 200  \0  \r
0002120  204     200  \r 220   "     002 322 022  \0  \0 203   2   @  \r
0002140  202 020   @ 003 207   *   @ 002 224   " 240 001 200 220  \0  \n
0002160  207   ( 340 020 302   2  \0  \0 022 277 377 367 207   0 340 020
0002200  231   +     001 306   2 300  \f 201 303 340  \b 220  \0      \0
0002220  200 220  \0  \v   2 200  \0 004 200 220  \0  \n 020 200  \0 031
0002240  220 020      \0   " 200  \0 027 220 020     001 200 220  \0  \n
0002260  223   *   ` 001 002 200  \0 017 220 002  \0  \t 226 020  \0  \b
0002300  330 022 300  \0 230 003     001 231   +     020 231   3     020
0002320  200 220  \0  \f 220 002     002 022 200  \0 006 330   2 300  \0
0002340  224   " 240 001 200 220  \0  \n   2 277 377 366 226 020  \0  \b
0002360  200 220  \0  \n   " 200  \0 003 220 020     001 220 020      \0
0002400  201 303 340  \b 001  \0  \0  \0 235 343 277 300 356  \a 240   \
0002420  263   .   ` 001 271   /     001 200 220  \0 035 264   & 200 035
0002440  260 006  \0 031 002 200  \0  \r 266 006 300 034 332 026 300  \0
0002460  342 026  \0  \0 272   '   ` 001 242 004   @  \r 256 005 300 021
0002500  356   6  \0  \0 200 220  \0 035 266 006 340 002 257   5 340 020
0002520  022 277 377 367 260 006     002 200 220  \0 027   2 200  \0 004
0002540  200 220  \0 032 020 200  \0 030 260 020      \0   " 200  \0 026
0002560  260 020     001 200 220  \0 032   " 200  \0 020 200 220  \0 032
0002600  266 020  \0 030 352 026 300  \0 260 006     002 252 005   ` 001
0002620  253   -   ` 020 253   5   ` 020 200 220  \0 025 022 200  \0 006
0002640  352   6 300  \0 264   & 240 001 200 220  \0 032   2 277 377 366
0002660  266 020  \0 030 200 220  \0 032   " 200  \0 003 260 020     001
0002700  260 020      \0 201 307 340  \b 201 350  \0  \0 200 242 340 001
0002720    2 200  \0 004 200 220  \0  \n 020 200  \0 034 220 020     001
0002740    " 200  \0 032 220 020      \0 200 220  \0  \n 223   *   ` 001
0002760  002 200  \0 022 220 002  \0  \t 226 020  \0  \b 322 022 300  \0
0003000  222   "   ` 001 223   *   ` 020 223   2   ` 020 322   2 300  \0
0003020  222 002   ` 001 223   *   ` 020 223   2   ` 020 200 220  \0  \t
0003040  022 200  \0 006 220 002     002 224   " 240 001 200 220  \0  \n
0003060    2 277 377 363 226 020  \0  \b 200 220  \0  \n   " 200  \0 003
0003100  220 020      \0 220 020     001 201 303 340  \b 001  \0  \0  \0
0003120  235 343 277 300 256 020  \0 034 257   - 340 001 370   ' 240   T
0003140  370  \a 240   \ 263   .   ` 001 200 220  \0 035 264   & 200 035
0003160  266 006 300 027 002 200  \0 020 260 006  \0 031 336 026 300  \0
0003200  350 026  \0  \0 236 033 377 377 237   + 340 020 237   3 340 020
0003220  250 005  \0 017 270  \a  \0 024 370   6  \0  \0 272   '   ` 001
0003240  200 220  \0 035 266 006 340 002 271   7     020 022 277 377 364
0003260  260 006     002 200 247     001   2 200  \0 004 200 220  \0 032
0003300  020 200  \0 034 260 020     001   " 200  \0 032 260 020      \0
0003320  200 220  \0 032   " 200  \0 024 200 220  \0 032 266 020  \0 030
0003340  372 026 300  \0 260 006     002 272   '   ` 001 273   /   ` 020
0003360  273   7   ` 020 372   6 300  \0 272  \a   ` 001 273   /   ` 020
0003400  273   7   ` 020 200 220  \0 035   2 200  \0  \a 200 220  \0 032
0003420  264   & 240 001 200 220  \0 032   2 277 377 362 266 020  \0 030
0003440  200 220  \0 032   " 200  \0 003 260 020      \0 260 020     001
0003460  201 307 340  \b 201 350  \0  \0 235 343 277 240 320  \a 240   `
0003500  356  \a 240   \ 370   ' 240   T 221   *     001 356 025 300  \b
0003520  270 020      \0 200 220  \0 027   2 200  \0 004 354  \a 240   T
0003540  020 200  \0   @ 260 020      \0 200 245 340 001   2 200  \0  \f
0003560  200 220  \0 035 232 020  \0 035 230 020  \0 026 226 020  \0 033
0003600  224 020  \0 032 222 020  \0 031 220 020  \0 030 177 377 377   _
0003620  300   # 240   \ 020 200  \0   3 260 020  \0  \b 255   - 240 001
0003640  263   .   ` 001 264   & 200 035 266 006 300 026 002 200  \0 017
0003660  260 006  \0 031 322 026 300  \0   @  \0  \0  \0 220 020  \0 027
0003700  350 026  \0  \0 272   '   ` 001 250 005  \0  \b 270  \a  \0 024
0003720  370   6  \0  \0 200 220  \0 035 266 006 340 002 271   7     020
0003740  022 277 377 365 260 006     002 200 220  \0 032 002 200  \0  \n
0003760  001  \0  \0  \0 324 026  \0  \0 264   & 240 001 270  \a  \0  \n
0004000  370   6  \0  \0 200 220  \0 032 271   7     020 022 277 377 372
0004020  260 006     002 020 200  \0 023 260 020  \0 034 336  \a 240   L
0004040  200 220  \0 017   " 200  \0  \v 350  \a 240   L 340  \a 240   D
0004060  342 024  \0  \0 242 004   ` 001 243   ,   ` 020 243   4   ` 020
0004100  200 220  \0 021 002 277 377 366 342   4  \0  \0 350  \a 240   L
0004120  200 220  \0 024   " 200  \0 003 260 020     001 260 020      \0
0004140  201 307 340  \b 201 350  \0  \0 235 343 277 240 356  \a 240   \
0004160  320  \a 240   d 354  \a 240   ` 272  \a   @ 027 256   % 340 001
0004200  262 006   @ 027 273   /   ` 001 270  \a  \0 035 263   .   ` 001
0004220  221   *     001 354 025 200  \b 260 006  \0 031 270   '     002
0004240  362 027  \0  \0 200 220  \0 027   " 200  \0 023 267   . 340 001
0004260  270   '     002 324 027  \0  \0 263   .   ` 020 262 026   @  \n
0004300  220 020  \0 031   @  \0  \0  \0 222 020  \0 026 260   &     002
0004320  320   6  \0  \0 220 020  \0 031   @  \0  \0  \0 222 020  \0 026
0004340  256   % 340 001 200 220  \0 027 022 277 377 362 262 020  \0  \b
0004360  267   . 340 001 362   6 200 033 201 307 340  \b 221 350      \0
0004400    N   o   t       y   e   t       i   m   p   l   e   m   e   n
0004420    t   e   d  \n  \0  \0  \0  \0  \0  \0  \0  \b  \0  \0 033 206
0004440  377 377 377 370  \0  \0  \0   P  \0  \0  \0 206 377 377 377 260
0004460   \0  \0  \a 230  \0  \0 017 206 377 377 370   h  \0  \0  \b 244
0004500   \0  \0 021 206 377 377 367   \  \0  \0  \b 270  \0  \0 020 206
0004520  377 377 367   H  \0  \0  \0 004 001  \0  \0  \0  \0  \0  \0  \0
0004540   \0  \0  \0  \n 005  \0  \0  \0  \0  \0  \0   |  \0  \0  \0 027
0004560  005  \0  \0  \0  \0  \0 003   h  \0  \0  \0   $ 005  \0  \0  \0
0004600   \0  \0 003 020  \0  \0  \0   1 005  \0  \0  \0  \0  \0 001   \
0004620   \0  \0  \0   > 005  \0  \0  \0  \0  \0 003 224  \0  \0  \0   K
0004640  005  \0  \0  \0  \0  \0 002 224  \0  \0  \0   \ 005  \0  \0  \0
0004660   \0  \0  \a 030  \0  \0  \0   m 005  \0  \0  \0  \0  \0  \0    
0004700   \0  \0  \0   w 005  \0  \0  \0  \0  \0  \0 250  \0  \0  \0 201
0004720  005  \0  \0  \0  \0  \0 002   P  \0  \0  \0 226 005  \0  \0  \0
0004740   \0  \0 002   t  \0  \0  \0 244 005  \0  \0  \0  \0  \0 004  \0
0004760   \0  \0  \0 262 005  \0  \0  \0  \0  \0 002 314  \0  \0  \0 300
0005000  005  \0  \0  \0  \0  \0 004 350  \0  \0  \0 307 001  \0  \0  \0
0005020   \0  \0  \0  \0  \0  \0  \0 315 001  \0  \0  \0  \0  \0  \0  \0
0005040   \0  \0  \0 323 001  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0 331
0005060  005  \0  \0  \0  \0  \0 005 254  \0  \0  \0 353 005  \0  \0  \0
0005100   \0  \0 001 254  \0  \0 001  \b 005  \0  \0  \0  \0  \0  \0   t
0005120   \0  \0 001 023 005  \0  \0  \0  \0  \0  \0   h  \0  \0 001 036
0005140  005  \0  \0  \0  \0  \0  \0   `  \0  \0 001   ) 005  \0  \0  \0
0005160   \0  \0 002  \0  \0  \0 001   ? 005  \0  \0  \0  \0  \0 002   $
0005200   \0  \0 001   N 005  \0  \0  \0  \0  \0  \b   H  \0  \0 001   ]
0005220  005  \0  \0  \0  \0  \0  \0   L  \0  \0 001   e 001  \0  \0  \0
0005240   \0  \0  \0  \0  \0  \0 001   m 005  \0  \0  \0  \0  \0 003   <
0005260   \0  \0 001   y 005  \0  \0  \0  \0  \0 006   0  \0  \0 001 205
0005300  005  \0  \0  \0  \0  \0 001   P  \0  \0 001 221 005  \0  \0  \0
0005320   \0  \0 001   @  \0  \0 001 235 005  \0  \0  \0  \0  \0 004   p
0005340   \0  \0 001 251 005  \0  \0  \0  \0  \0  \0  \0  \0  \0 001 262
0005360    _   f   r   e   e  \0   _   B   n   S   e   t   T   o   Z   e
0005400    r   o  \0   _   B   n   X   o   r   D   i   g   i   t   s  \0
0005420    _   B   n   A   n   d   D   i   g   i   t   s  \0   _   B   n
0005440    N   u   m   D   i   g   i   t   s  \0   _   B   n   S   h   i
0005460    f   t   L   e   f   t  \0   _   B   n   C   o   m   p   a   r
0005500    e   D   i   g   i   t   s  \0   _   B   n   M   u   l   t   i
0005520    p   l   y   D   i   g   i   t  \0   _   B   n   C   r   e   a
0005540    t   e  \0   _   B   n   A   s   s   i   g   n  \0   _   B   n
0005560    I   s   D   i   g   i   t   N   o   r   m   a   l   i   z   e
0005600    d  \0   _   B   n   I   s   D   i   g   i   t   O   d   d  \0
0005620    _   B   n   S   h   i   f   t   R   i   g   h   t  \0   _   B
0005640    n   C   o   m   p   l   e   m   e   n   t  \0   _   B   n   A
0005660    d   d  \0   .   u   m   u   l  \0   .   u   r   e   m  \0   .
0005700    u   d   i   v  \0   _   B   n   S   u   b   t   r   a   c   t
0005720    B   o   r   r   o   w  \0   _   B   n   N   u   m   L   e   a
0005740    d   i   n   g   Z   e   r   o   B   i   t   s   I   n   D   i
0005760    g   i   t  \0   _   B   n   G   e   t   S   i   z   e  \0   _
0006000    B   n   S   e   t   T   y   p   e  \0   _   B   n   G   e   t
0006020    T   y   p   e  \0   _   B   n   D   o   e   s   D   i   g   i
0006040    t   F   i   t   I   n   W   o   r   d  \0   _   B   n   I   s
0006060    D   i   g   i   t   Z   e   r   o  \0   _   B   n   D   i   v
0006100    i   d   e   D   i   g   i   t  \0   _   B   n   F   r   e   e
0006120   \0   _   m   a   l   l   o   c  \0   _   B   n   O   r   D   i
0006140    g   i   t   s  \0   _   B   n   S   u   b   t   r   a   c   t
0006160   \0   _   B   n   G   e   t   D   i   g   i   t  \0   _   B   n
0006200    S   e   t   D   i   g   i   t  \0   _   B   n   A   d   d   C
0006220    a   r   r   y  \0   _   B   n   A   l   l   o   c  \0        
0006236