mim/development/mim/mimc/carana.mima

   1
   2 <PACKAGE "CARANA">
   3
   4 <ENTRY ARITH-ANA MOD-ANA ASTATE ABS-ANA ROT-ANA LSH-ANA FIX-ANA FLOAT-ANA ARITHP-ANA HACK-BOUNDS BIT-TEST-ANA>
   5
   6 <USE "SYMANA" "CHKDCL" "COMPDEC" "ADVMESS" "NPRINT">
   7
   8 "       This file contains analyzers and code generators for arithmetic
   9  SUBRs and predicates.  For convenience many of the SUBRs that are
  10 similar are combined into one analyzer/generator.  For more info
  11 on analyzers see SYMANA and on generators see CODGEN.
  12 "
  13
  14 <SETG ASTATE '[![2 3 5!] ![2 4 5!] ![4 3 5!] ![4 4 5!] ![5 5 5!]]>
  15
  16 <GDECL (ASTATE) <VECTOR [REST <UVECTOR [REST FIX]>]>>
  17
  18 "       Analyze +,-,* and /.  Take care of no arg and one arg problems."
  19
  20 #WORD *17254043253*
  21 <GFCN \1aARITH-ANA ("VALUE" ANY NODE ANY) NOD4 RTYP5>
  22                     <TEMP TEMP3:LBIND TEMP13 (TEMP14 %<>) NN6 DEFLT7 K9:LIST TEMP43 N94:NODE>
  23                     <INTGO>
  24                     <GETS 'BIND = TEMP3 (TYPE LBIND)>
  25                     <BBIND 'NOD 'NODE %<> NOD4>
  26                     <DEAD NOD4>
  27                     <FIXBIND>
  28                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
  29                     <NTHR TEMP14 1 = TEMP13 (RECORD-TYPE LBIND)>
  30                     <DEAD TEMP14>
  31                     <NTHUV TEMP13 4 = NN6>
  32                     <DEAD TEMP13>
  33                     <FRAME '\1aGET-DF>
  34                     <PUSH NN6>
  35                     <CALL '\1aGET-DF 1 = DEFLT7>
  36                     <BBIND 'STATE 'FIX 'FIX 1>
  37                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
  38                     <NTHR TEMP14 1 = TEMP13 (RECORD-TYPE LBIND)>
  39                     <DEAD TEMP14>
  40                     <NTHUV TEMP13 5 = K9 (TYPE LIST)>
  41                     <DEAD TEMP13>
  42                     <BBIND 'ALL-CONST 'ANY 'FIX 'ALL-CONST>
  43                     <FRAME '\1aTYPE-OK?>
  44                     <PUSH RTYP5>
  45                     <PUSH 'FLOAT>
  46                     <CALL '\1aTYPE-OK? 2 = TEMP13>
  47                     <TYPE? TEMP13 <TYPE-CODE FALSE> - PHRASE21>
  48                     <DEAD TEMP13>
  49                     <SET TEMP13 'FIX (TYPE ATOM)>
  50                     <JUMP + PHRASE23>
  51 PHRASE21
  52                     <SET TEMP13 <OR FIX FLOAT> (TYPE FORM)>
  53 PHRASE23
  54                     <EMPL? K9 - PHRASE25 (TYPE LIST) (DEAD-FALL K9 NN6 TEMP13)>
  55                     <NTHR 'NOD 2 = TEMP13 (RECORD-TYPE ATOM) (TYPE LBIND)>
  56                     <NTHR TEMP13 1 = TEMP13 (RECORD-TYPE LBIND)>
  57                     <PUTUV TEMP13 1 2 (TYPE FIX)>
  58                     <DEAD TEMP13>
  59                     <NTHR 'NOD 2 = TEMP13 (RECORD-TYPE ATOM) (TYPE LBIND)>
  60                     <NTHR TEMP13 1 = TEMP13 (RECORD-TYPE LBIND)>
  61                     <FRAME '\1aTYPE>
  62                     <PUSH DEFLT7>
  63                     <CALL '\1aTYPE 1 = TEMP14>
  64                     <PUTUV TEMP13 3 TEMP14>
  65                     <DEAD TEMP13 TEMP14>
  66                     <NTHR 'NOD 2 = TEMP13 (RECORD-TYPE ATOM) (TYPE LBIND)>
  67                     <NTHR TEMP13 1 = TEMP13 (RECORD-TYPE LBIND)>
  68                     <PUTUV TEMP13 4 DEFLT7>
  69                     <DEAD TEMP13>
  70                     <NTHR 'NOD 2 = TEMP13 (RECORD-TYPE ATOM) (TYPE LBIND)>
  71                     <NTHR TEMP13 1 = TEMP13 (RECORD-TYPE LBIND)>
  72                     <PUTUV TEMP13 5 () (TYPE LIST)>
  73                     <DEAD TEMP13>
  74                     <FRAME '\1aTYPE-OK?>
  75                     <FRAME '\1aTYPE>
  76                     <PUSH DEFLT7>
  77                     <DEAD DEFLT7>
  78                     <CALL '\1aTYPE 1 = STACK>
  79                     <JUMP + PEEP201>
  80 PHRASE25
  81                     <RESTL K9 1 = TEMP14 (TYPE LIST)>
  82                     <EMPL? TEMP14 - PHRASE37 (TYPE LIST) (DEAD-JUMP DEFLT7)>
  83                     <DEAD TEMP14>
  84                     <NTHL K9 1 = TEMP14 (TYPE NODE)>
  85                     <NTHUV TEMP14 1 = TEMP14 (TYPE FIX)>
  86                     <VEQUAL? TEMP14 3 + PHRASE37 (TYPE FIX) (DEAD-JUMP DEFLT7)>
  87                     <DEAD TEMP14>
  88                     <NTHL K9 1 = TEMP14 (TYPE NODE)>
  89                     <NTHUV TEMP14 1 = TEMP14 (TYPE FIX)>
  90                     <VEQUAL? TEMP14 68 + PHRASE37 (TYPE FIX) (DEAD-JUMP DEFLT7)>
  91                     <DEAD TEMP14>
  92                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
  93                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
  94                     <NTHUV TEMP14 9 = TEMP14>
  95                     <GVAL '/ = TEMP43>
  96                     <EQUAL? TEMP14 TEMP43 - PHRASE40 (DEAD-JUMP RTYP5 DEFLT7 NN6)>
  97                     <DEAD TEMP14 TEMP43>
  98                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
  99                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 100                     <FRAME '\1aNODE1>
 101                     <PUSH 2>
 102                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 103                     <NTHR TEMP14 1 = STACK (RECORD-TYPE LBIND)>
 104                     <DEAD TEMP14>
 105                     <FRAME '\1aTYPE>
 106                     <PUSH DEFLT7>
 107                     <CALL '\1aTYPE 1 = STACK>
 108                     <PUSH DEFLT7>
 109                     <DEAD DEFLT7>
 110                     <PUSH ()>
 111                     <CALL '\1aNODE1 5 = TEMP14>
 112                     <CONS TEMP14 () = TEMP14>
 113                     <PUTREST TEMP14 K9>
 114                     <DEAD K9>
 115                     <SET K9 TEMP14>
 116                     <DEAD TEMP14>
 117                     <PUTUV TEMP43 5 K9 (TYPE LIST)>
 118                     <DEAD TEMP43>
 119                     <JUMP + PHRASE37>
 120 PHRASE40
 121                     <FRAME '\1aEANA>
 122                     <NTHL K9 1 = STACK (TYPE NODE)>
 123                     <PUSH TEMP13>
 124                     <DEAD TEMP13>
 125                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 126                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 127                     <NTHUV TEMP43 4 = STACK>
 128                     <DEAD TEMP43>
 129                     <CALL '\1aEANA 3 = TEMP13>
 130                     <NTHL K9 1 = TEMP43 (TYPE NODE)>
 131                     <NTHUV TEMP43 1 = TEMP43 (TYPE FIX)>
 132                     <VEQUAL? TEMP43 2 - PHRASE55 (TYPE FIX) (DEAD-JUMP K9)>
 133                     <DEAD TEMP43>
 134                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 135                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 136                     <NTHUV TEMP43 9 = TEMP43>
 137                     <GVAL '- = TEMP14>
 138                     <EQUAL? TEMP43 TEMP14 - PHRASE57>
 139                     <DEAD TEMP43 TEMP14>
 140                     <NTHL K9 1 = TEMP14 (TYPE NODE)>
 141                     <DEAD K9>
 142                     <NTHUV TEMP14 4 = TEMP14>
 143                     <TYPE? TEMP14 <TYPE-CODE FIX> - TAG60>
 144                     <SUB 0 TEMP14 = TEMP14 (TYPE FIX)>
 145                     <JUMP + TAG61>
 146 TAG60
 147                     <SUBF 0.0 TEMP14 = TEMP14 (TYPE FLOAT)>
 148 TAG61
 149                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 150                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 151                     <PUTUV TEMP43 4 TEMP14>
 152                     <DEAD TEMP43 TEMP14>
 153                     <JUMP + PHRASE64>
 154 PHRASE57
 155                     <NTHL K9 1 = TEMP43 (TYPE NODE)>
 156                     <DEAD K9>
 157                     <NTHUV TEMP43 4 = TEMP43>
 158                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 159                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 160                     <PUTUV TEMP14 4 TEMP43>
 161                     <DEAD TEMP14 TEMP43>
 162 PHRASE64
 163                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 164                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 165                     <PUTUV TEMP14 1 2 (TYPE FIX)>
 166                     <DEAD TEMP14>
 167                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 168                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 169                     <FRAME '\1aTYPE>
 170                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 171                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 172                     <NTHUV TEMP43 4 = STACK>
 173                     <DEAD TEMP43>
 174                     <CALL '\1aTYPE 1 = TEMP43>
 175                     <PUTUV TEMP14 3 TEMP43>
 176                     <DEAD TEMP14 TEMP43>
 177                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 178                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 179                     <PUTUV TEMP14 5 () (TYPE LIST)>
 180                     <DEAD TEMP14>
 181                     <JUMP + PHRASE84>
 182 PHRASE55
 183                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 184                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 185                     <NTHUV TEMP14 9 = TEMP14>
 186                     <GVAL '- = TEMP43>
 187                     <EQUAL? TEMP14 TEMP43 - PHRASE76>
 188                     <DEAD TEMP14 TEMP43>
 189                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 190                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 191                     <PUTUV TEMP43 1 38 (TYPE FIX)>
 192                     <DEAD TEMP43>
 193                     <JUMP + PHRASE84>
 194 PHRASE76
 195                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 196                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 197                     <PUTUV TEMP43 1 42 (TYPE FIX)>
 198                     <DEAD TEMP43>
 199                     <JUMP + PHRASE84>
 200 PHRASE37
 201                     <SET TEMP43 K9 (TYPE LIST)>
 202                     <LOOP>
 203 MAP86
 204                     <INTGO>
 205                     <EMPL? TEMP43 + MAPAP89 (DEAD-JUMP TEMP43 TEMP13)>
 206                     <NTHL TEMP43 1 = N94>
 207                     <FRAME '\1aARITH-ELE>
 208                     <PUSH N94>
 209                     <DEAD N94>
 210                     <PUSH TEMP13>
 211                     <NTHR 'NOD 2 = DEFLT7 (RECORD-TYPE ATOM) (TYPE LBIND)>
 212                     <NTHR DEFLT7 1 = TEMP14 (RECORD-TYPE LBIND)>
 213                     <DEAD DEFLT7>
 214                     <NTHUV TEMP14 9 = STACK>
 215                     <DEAD TEMP14>
 216                     <CALL '\1aARITH-ELE 3>
 217                     <RESTL TEMP43 1 = TEMP43 (TYPE LIST)>
 218                     <JUMP + MAP86>
 219 MAPAP89
 220                     <VEQUAL? NN6 '+ - PHRASE101>
 221                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 222                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 223                     <FRAME '\1aFLUSH-CONST>
 224                     <PUSH K9>
 225                     <PUSH 0>
 226                     <CALL '\1aFLUSH-CONST 2 = TEMP13>
 227                     <PUTUV TEMP43 5 TEMP13 (TYPE LIST)>
 228                     <DEAD TEMP43 TEMP13>
 229                     <JUMP + PHRASE152>
 230 PHRASE101
 231                     <VEQUAL? NN6 '- - PHRASE105>
 232                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 233                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 234                     <FRAME '\1aFLUSH-CONST>
 235                     <RESTL K9 1 = STACK (TYPE LIST)>
 236                     <PUSH 0>
 237                     <CALL '\1aFLUSH-CONST 2 = TEMP13>
 238                     <NTHL K9 1 = TEMP14 (TYPE NODE)>
 239                     <DEAD K9>
 240                     <CONS TEMP14 TEMP13 = K9>
 241                     <DEAD TEMP14 TEMP13>
 242                     <PUTUV TEMP43 5 K9 (TYPE LIST)>
 243                     <DEAD TEMP43>
 244                     <EMPL? K9 + PHRASE152>
 245                     <RESTL K9 1 = TEMP13 (TYPE LIST)>
 246                     <EMPL? TEMP13 - PHRASE152>
 247                     <DEAD TEMP13>
 248                     <NTHR 'NOD 2 = TEMP13 (RECORD-TYPE ATOM) (TYPE LBIND)>
 249                     <NTHR TEMP13 1 = TEMP13 (RECORD-TYPE LBIND)>
 250                     <PUTUV TEMP13 4 '+>
 251                     <DEAD TEMP13>
 252                     <GVAL '+ = TEMP13>
 253                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 254                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 255                     <PUTUV TEMP43 9 TEMP13>
 256                     <DEAD TEMP43 TEMP13>
 257                     <JUMP + PHRASE152>
 258 PHRASE105
 259                     <VEQUAL? NN6 '* - PHRASE115>
 260                     <FRAME '\1aFIND-ZERO>
 261                     <PUSH K9>
 262                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 263                     <NTHR TEMP43 1 = STACK (RECORD-TYPE LBIND)>
 264                     <DEAD TEMP43>
 265                     <CALL '\1aFIND-ZERO 2 = TEMP43>
 266                     <TYPE? TEMP43 <TYPE-CODE FALSE> + PHRASE117>
 267                     <DEAD TEMP43>
 268                     <NTHR 'STATE 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 269                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 270                     <VEQUAL? TEMP43 2 - PHRASE122 (TYPE FIX)>
 271                     <DEAD TEMP43>
 272                     <SET TEMP43 0 (TYPE FIX)>
 273                     <JUMP + PHRASE125>
 274 PHRASE122
 275                     <SET TEMP43 0.0 (TYPE FLOAT)>
 276 PHRASE125
 277                     <NTHR 'ALL-CONST 2 = TEMP13 (RECORD-TYPE ATOM) (TYPE LBIND)>
 278                     <PUTR TEMP13 1 TEMP43 (RECORD-TYPE LBIND)>
 279                     <DEAD TEMP13 TEMP43>
 280                     <JUMP + PHRASE152>
 281 PHRASE117
 282                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 283                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 284                     <FRAME '\1aFLUSH-CONST>
 285                     <PUSH K9>
 286                     <PUSH 1>
 287                     <CALL '\1aFLUSH-CONST 2 = TEMP13>
 288                     <PUTUV TEMP43 5 TEMP13 (TYPE LIST)>
 289                     <DEAD TEMP43 TEMP13>
 290                     <JUMP + PHRASE152>
 291 PHRASE115
 292                     <VEQUAL? NN6 '/ - PHRASE152>
 293                     <FRAME '\1aFIND-ZERO>
 294                     <RESTL K9 1 = STACK (TYPE LIST)>
 295                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 296                     <NTHR TEMP43 1 = STACK (RECORD-TYPE LBIND)>
 297                     <DEAD TEMP43>
 298                     <CALL '\1aFIND-ZERO 2 = TEMP43>
 299                     <TYPE? TEMP43 <TYPE-CODE FALSE> + PHRASE134>
 300                     <DEAD TEMP43>
 301                     <FRAME '\1aCOMPILE-ERROR>
 302                     <PUSH "Divide by 0 ">
 303                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 304                     <NTHR TEMP43 1 = STACK (RECORD-TYPE LBIND)>
 305                     <DEAD TEMP43>
 306                     <CALL '\1aCOMPILE-ERROR 2>
 307                     <JUMP + PHRASE152>
 308 PHRASE134
 309                     <FRAME '\1aFIND-ZERO>
 310                     <NTHL K9 1 = TEMP14 (TYPE NODE)>
 311                     <CONS TEMP14 () = STACK>
 312                     <DEAD TEMP14>
 313                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 314                     <NTHR TEMP14 1 = STACK (RECORD-TYPE LBIND)>
 315                     <DEAD TEMP14>
 316                     <CALL '\1aFIND-ZERO 2 = TEMP14>
 317                     <TYPE? TEMP14 <TYPE-CODE FALSE> + PHRASE141>
 318                     <DEAD TEMP14>
 319                     <NTHR 'STATE 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 320                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 321                     <VEQUAL? TEMP14 2 - PHRASE146 (TYPE FIX)>
 322                     <DEAD TEMP14>
 323                     <SET TEMP14 0 (TYPE FIX)>
 324                     <JUMP + PHRASE149>
 325 PHRASE146
 326                     <SET TEMP14 0.0 (TYPE FLOAT)>
 327 PHRASE149
 328                     <NTHR 'ALL-CONST 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 329                     <PUTR TEMP43 1 TEMP14 (RECORD-TYPE LBIND)>
 330                     <DEAD TEMP43 TEMP14>
 331                     <JUMP + PHRASE152>
 332 PHRASE141
 333                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 334                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 335                     <FRAME '\1aFLUSH-CONST>
 336                     <RESTL K9 1 = STACK (TYPE LIST)>
 337                     <PUSH 1>
 338                     <CALL '\1aFLUSH-CONST 2 = TEMP43>
 339                     <NTHL K9 1 = TEMP13 (TYPE NODE)>
 340                     <CONS TEMP13 TEMP43 = TEMP43>
 341                     <DEAD TEMP13>
 342                     <PUTUV TEMP14 5 TEMP43 (TYPE LIST)>
 343                     <DEAD TEMP14 TEMP43>
 344 PHRASE152
 345                     <NTHR 'ALL-CONST 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 346                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 347                     <TYPE? TEMP14 <TYPE-CODE FALSE> + PHRASE157 (DEAD-FALL K9 NN6)>
 348                     <DEAD TEMP14>
 349                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 350                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 351                     <PUTUV TEMP14 1 2 (TYPE FIX)>
 352                     <DEAD TEMP14>
 353                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 354                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 355                     <FRAME '\1aTYPE>
 356                     <NTHR 'ALL-CONST 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 357                     <NTHR TEMP43 1 = STACK (RECORD-TYPE LBIND)>
 358                     <DEAD TEMP43>
 359                     <CALL '\1aTYPE 1 = TEMP43>
 360                     <PUTUV TEMP14 3 TEMP43>
 361                     <DEAD TEMP14 TEMP43>
 362                     <NTHR 'ALL-CONST 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 363                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 364                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 365                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 366                     <PUTUV TEMP43 4 TEMP14>
 367                     <DEAD TEMP43 TEMP14>
 368                     <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 369                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 370                     <PUTUV TEMP43 5 () (TYPE LIST)>
 371                     <DEAD TEMP43>
 372                     <JUMP + PHRASE195>
 373 PHRASE157
 374                     <NTHR 'STATE 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
 375                     <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
 376                     <LESS? TEMP43 5 - PHRASE173 (TYPE FIX) (DEAD-JUMP K9 NN6)>
 377                     <DEAD TEMP43>
 378                     <VEQUAL? NN6 'MAX + BOOL181 (DEAD-JUMP NN6)>
 379                     <VEQUAL? NN6 'MIN - PHRASE180>
 380                     <DEAD NN6>
 381 BOOL181
 382                     <SET TEMP43 35 (TYPE FIX)>
 383                     <JUMP + PHRASE182>
 384 PHRASE180
 385                     <SET TEMP43 18 (TYPE FIX)>
 386 PHRASE182
 387                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 388                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 389                     <PUTUV TEMP14 1 TEMP43 (TYPE FIX)>
 390                     <DEAD TEMP14 TEMP43>
 391                     <SET TEMP14 K9 (TYPE LIST)>
 392                     <DEAD K9>
 393                     <LOOP>
 394 MAP186
 395                     <INTGO>
 396                     <EMPL? TEMP14 + PHRASE195 (DEAD-JUMP TEMP14)>
 397                     <NTHL TEMP14 1 = N94>
 398                     <NTHUV N94 1 = DEFLT7 (TYPE FIX)>
 399                     <VEQUAL? DEFLT7 3 - PHRASE194 (TYPE FIX) (DEAD-JUMP N94)>
 400                     <DEAD DEFLT7>
 401                     <PUTUV N94 1 68 (TYPE FIX)>
 402                     <DEAD N94>
 403 PHRASE194
 404                     <RESTL TEMP14 1 = TEMP14 (TYPE LIST)>
 405                     <JUMP + MAP186>
 406 PHRASE173
 407                     <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 408                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 409                     <PUTUV TEMP14 1 52 (TYPE FIX)>
 410                     <DEAD TEMP14>
 411 PHRASE195
 412                     <FRAME '\1aTYPE-OK?>
 413                     <NTHR 'STATE 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
 414                     <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
 415                     <SUB TEMP14 1 = TEMP14 (TYPE FIX)>
 416                     <NTHUV [FIX FLOAT FLOAT <OR FIX FLOAT>] TEMP14 = STACK>
 417                     <DEAD TEMP14>
 418 PEEP201
 419                     <PUSH RTYP5>
 420                     <DEAD RTYP5>
 421                     <CALL '\1aTYPE-OK? 2 = TEMP13>
 422 PHRASE84
 423                     <UNBIND TEMP3>
 424                     <DEAD TEMP3>
 425                     <ADJ -27>
 426                     <RETURN TEMP13>
 427                     <DEAD TEMP13>
 428                     <END \1aARITH-ANA>
 429 #WORD *167067406*
 430 <GFCN \1aFIND-ZERO ("VALUE" <OR ATOM FALSE> <LIST [REST NODE]> NODE) K4 NOD5>
 431                     <TEMP TEMP10 TEMP20 TEMP26>
 432                     <INTGO>
 433                     <LENUV NOD5 = TEMP10 (TYPE FIX)>
 434                     <LESS? TEMP10 8 + TAG11 (TYPE FIX) (DEAD-JUMP NOD5)>
 435                     <DEAD TEMP10>
 436                     <NTHUV NOD5 8 = TEMP10>
 437                     <DEAD NOD5>
 438                     <TYPE? TEMP10 <TYPE-CODE FALSE> + TAG11 (DEAD-FALL K4)>
 439                     <DEAD TEMP10>
 440                     <RETURN %<>>
 441 TAG11
 442                     <SET TEMP20 %<> (TYPE FALSE)>
 443                     <SET TEMP10 K4 (TYPE LIST)>
 444                     <DEAD K4>
 445                     <LOOP>
 446 MAP13
 447                     <INTGO>
 448                     <EMPL? TEMP10 + MAPAP16 (DEAD-JUMP TEMP10) (DEAD-FALL TEMP20)>
 449                     <NTHL TEMP10 1 = TEMP20>
 450                     <NTHUV TEMP20 1 = TEMP26 (TYPE FIX)>
 451                     <VEQUAL? TEMP26 2 - PEEP31 (TYPE FIX) (DEAD-JUMP TEMP20)>
 452                     <DEAD TEMP26>
 453                     <NTHUV TEMP20 4 = TEMP26>
 454                     <DEAD TEMP20>
 455                     <VEQUAL? TEMP26 0 + TAG28 (TYPE FIX) (DEAD-JUMP TEMP10)>
 456                     <DEAD TEMP26>
 457 PEEP31
 458                     <SET TEMP20 %<> (TYPE FALSE)>
 459                     <JUMP + PHRASE24>
 460 TAG28
 461                     <RETURN 'T>
 462 PHRASE24
 463                     <RESTL TEMP10 1 = TEMP10 (TYPE LIST)>
 464                     <JUMP + MAP13>
 465 MAPAP16
 466                     <RETURN TEMP20>
 467                     <DEAD TEMP20>
 468                     <END \1aFIND-ZERO>
 469 #WORD *37106417666*
 470 <GFCN \1aFLUSH-CONST ("VALUE" <LIST [REST NODE]> <LIST [REST NODE]> FIX) K4 C5>
 471                     <TEMP FC6:FLOAT KK7:LIST (KP8:LIST ()) TEMP9 NN12:NODE>
 472                     <INTGO>
 473                     <FLOAT C5 = FC6 (TYPE FLOAT)>
 474                     <SET KK7 K4>
 475                     <LOOP>
 476 AGAIN13
 477                     <INTGO>
 478                     <EMPL? KK7 - PHRASE15 (TYPE LIST) (DEAD-FALL C5 KP8 KK7 FC6)>
 479                     <RETURN K4>
 480                     <DEAD K4>
 481 PHRASE15
 482                     <NTHL KK7 1 = NN12 (TYPE NODE)>
 483                     <NTHUV NN12 1 = TEMP9 (TYPE FIX)>
 484                     <VEQUAL? TEMP9 2 - PHRASE17 (TYPE FIX) (DEAD-JUMP NN12 KP8)>
 485                     <DEAD TEMP9>
 486                     <NTHUV NN12 4 = TEMP9>
 487                     <EQUAL? TEMP9 C5 + BOOL20 (DEAD-JUMP NN12)>
 488                     <DEAD TEMP9>
 489                     <NTHUV NN12 4 = TEMP9>
 490                     <DEAD NN12>
 491                     <EQUAL? TEMP9 FC6 - PHRASE17 (DEAD-JUMP KP8)>
 492                     <DEAD TEMP9>
 493 BOOL20
 494                     <VEQUAL? K4 KK7 - PHRASE22 (DEAD-FALL KK7)>
 495                     <RESTL K4 1 = KK7 (TYPE LIST)>
 496                     <DEAD K4>
 497                     <SET K4 KK7>
 498                     <EMPL? K4 - PHRASE26 (TYPE LIST) (DEAD-FALL C5 KP8 KK7 FC6)>
 499                     <RETURN K4>
 500                     <DEAD K4>
 501 PHRASE22
 502                     <RESTL KK7 1 = TEMP9 (TYPE LIST)>
 503                     <PUTREST KP8 TEMP9>
 504                     <DEAD TEMP9>
 505                     <JUMP + PHRASE26>
 506 PHRASE17
 507                     <SET KP8 KK7>
 508 PHRASE26
 509                     <RESTL KK7 1 = KK7 (TYPE LIST)>
 510                     <JUMP + AGAIN13>
 511                     <END \1aFLUSH-CONST>
 512 #WORD *4437234442*
 513 <GFCN \1aGET-DF ("VALUE" ANY ATOM) S4>
 514                     <TEMP TEMP5:VECTOR TEMP10 TEMP11>
 515                     <INTGO>
 516                     <GVAL 'DFS = TEMP5 (TYPE VECTOR)>
 517                     <SET TEMP10 [MAX MIN * / - +] (TYPE VECTOR)>
 518                     <LOOP (S4 VALUE) (TEMP10 LENGTH VALUE)>
 519 TAG8
 520                     <NTHUV TEMP10 1 = TEMP11>
 521                     <VEQUAL? TEMP11 S4 + TAG7 (DEAD-JUMP S4)>
 522                     <DEAD TEMP11>
 523                     <RESTUV TEMP10 1 = TEMP10 (TYPE VECTOR)>
 524                     <EMPUV? TEMP10 - TAG8 (DEAD-FALL S4 TEMP10)>
 525                     <SET TEMP10 %<> (TYPE FALSE)>
 526 TAG7
 527                     <LENUV TEMP10 = TEMP10 (TYPE FIX)>
 528                     <NTHUV TEMP5 TEMP10 = TEMP11>
 529                     <DEAD TEMP5 TEMP10>
 530                     <RETURN TEMP11>
 531                     <DEAD TEMP11>
 532                     <END \1aGET-DF>
 533 <SETG DFS [0 0 1 1 <CHTYPE <MIN> FIX> <CHTYPE <MAX> FIX>]>
 534
 535 <GDECL (DFS) VECTOR>
 536
 537 #WORD *17110336521*
 538 <GFCN \1aARITH-ELE ("VALUE" FIX NODE ANY "OPTIONAL" ANY) N6 RT7 OP8>
 539                     <OPT-DISPATCH 2 %<> OPT4 OPT5>
 540 OPT4
 541                     <PUSH #T$UNBOUND 0>
 542 OPT5
 543                     <TEMP (FL11 %<>) A-C12 NOD13 ISTATE14:FIX TEMP26>
 544                     <INTGO>
 545                     <GEN-LVAL 'ALL-CONST = A-C12>
 546                     <GEN-LVAL 'NOD = NOD13>
 547                     <GEN-LVAL 'STATE = ISTATE14>
 548                     <NTHUV N6 1 = TEMP26 (TYPE FIX)>
 549                     <VEQUAL? TEMP26 3 + BOOL25 (TYPE FIX) (DEAD-JUMP OP8 A-C12 FL11)>
 550                     <DEAD TEMP26>
 551                     <NTHUV N6 1 = TEMP26 (TYPE FIX)>
 552                     <VEQUAL? TEMP26 68 - PHRASE24 (TYPE FIX) (DEAD-FALL OP8 A-C12 FL11)>
 553                     <DEAD TEMP26>
 554 BOOL25
 555                     <SET FL11 'T (TYPE ATOM)>
 556                     <FRAME '\1aEANA>
 557                     <NTHUV N6 5 = TEMP26 (TYPE LIST)>
 558                     <NTHL TEMP26 1 = STACK (TYPE NODE)>
 559                     <DEAD TEMP26>
 560                     <FRAME '\1aFORM>
 561                     <PUSH 'STRUCTURED>
 562                     <PUSH 'REST>
 563                     <PUSH RT7>
 564                     <DEAD RT7>
 565                     <UBLOCK <TYPE-CODE VECTOR> 2 = STACK>
 566                     <CALL '\1aFORM 2 = STACK>
 567                     <NTHUV NOD13 4 = STACK>
 568                     <DEAD NOD13>
 569                     <CALL '\1aEANA 3 = NOD13>
 570                     <NTHUV N6 5 = TEMP26 (TYPE LIST)>
 571                     <NTHL TEMP26 1 = TEMP26 (TYPE NODE)>
 572                     <NTHUV TEMP26 3 = TEMP26>
 573                     <PUTUV N6 3 TEMP26>
 574                     <DEAD TEMP26>
 575                     <GEN-SET 'ALL-CONST %<>>
 576                     <FRAME '\1aISTYPE?>
 577                     <PUSH NOD13>
 578                     <CALL '\1aISTYPE? 1 = A-C12>
 579                     <TYPE? A-C12 <TYPE-CODE FALSE> + BOOL33 (DEAD-JUMP NOD13)>
 580                     <DEAD A-C12>
 581                     <FRAME '\1aGET-ELE-TYPE>
 582                     <PUSH NOD13>
 583                     <DEAD NOD13>
 584                     <PUSH 'ALL>
 585                     <CALL '\1aGET-ELE-TYPE 2 = TEMP26>
 586                     <TYPE? TEMP26 <TYPE-CODE FALSE> - BOOL32 (DEAD-FALL TEMP26)>
 587 BOOL33
 588                     <SET TEMP26 'ANY (TYPE ATOM)>
 589 BOOL32
 590                     <SET NOD13 TEMP26>
 591                     <DEAD TEMP26>
 592                     <JUMP + PHRASE53>
 593 PHRASE24
 594                     <FRAME '\1aEANA>
 595                     <PUSH N6>
 596                     <PUSH RT7>
 597                     <DEAD RT7>
 598                     <NTHUV NOD13 4 = STACK>
 599                     <DEAD NOD13>
 600                     <CALL '\1aEANA 3 = NOD13>
 601                     <NTHUV N6 1 = TEMP26 (TYPE FIX)>
 602                     <VEQUAL? TEMP26 2 - PHRASE40 (TYPE FIX) (DEAD-JUMP OP8 A-C12)>
 603                     <DEAD TEMP26>
 604                     <VEQUAL? ISTATE14 4 + BOOL43 (TYPE FIX)>
 605                     <VEQUAL? ISTATE14 3 - PHRASE42 (TYPE FIX)>
 606 BOOL43
 607                     <NTHUV N6 4 = TEMP26>
 608                     <TYPE? TEMP26 <TYPE-CODE FLOAT> + TAG44>
 609                     <FLOAT TEMP26 = TEMP26 (TYPE FLOAT)>
 610 TAG44
 611                     <PUTUV N6 4 TEMP26>
 612                     <DEAD TEMP26>
 613                     <PUTUV N6 3 'FLOAT>
 614 PHRASE42
 615                     <EQUAL? A-C12 'ALL-CONST - PHRASE46 (DEAD-FALL OP8 A-C12)>
 616                     <NTHUV N6 4 = TEMP26>
 617                     <JUMP + PEEP83>
 618 PHRASE46
 619                     <TYPE? A-C12 <TYPE-CODE FALSE> + PHRASE53 (DEAD-JUMP OP8 A-C12)>
 620                     <FRAME>
 621                     <PUSH A-C12>
 622                     <DEAD A-C12>
 623                     <NTHUV N6 4 = STACK>
 624                     <ACALL OP8 2 = TEMP26>
 625                     <DEAD OP8>
 626 PEEP83
 627                     <GEN-SET 'ALL-CONST TEMP26>
 628                     <DEAD TEMP26>
 629                     <JUMP + PHRASE53>
 630 PHRASE40
 631                     <GEN-SET 'ALL-CONST %<>>
 632 PHRASE53
 633                     <FRAME '\1aISTYPE?>
 634                     <PUSH NOD13>
 635                     <CALL '\1aISTYPE? 1 = TEMP26>
 636                     <VEQUAL? TEMP26 'FIX + PEEP82 (DEAD-JUMP FL11)>
 637                     <DEAD TEMP26>
 638                     <EQUAL? NOD13 'FLOAT + PEEP81 (DEAD-JUMP FL11)>
 639                     <FRAME '\1aTYPE-OK?>
 640                     <PUSH NOD13>
 641                     <PUSH 'FLOAT>
 642                     <CALL '\1aTYPE-OK? 2 = A-C12>
 643                     <TYPE? A-C12 <TYPE-CODE FALSE> - PHRASE60>
 644                     <DEAD A-C12>
 645                     <VEQUAL? FL11 0 + PHRASE63>
 646                     <DEAD FL11>
 647                     <FRAME '\1aTYPE-MERGE>
 648                     <PUSH <STRUCTURED [REST FIX]>>
 649                     <NTHUV N6 3 = STACK>
 650                     <CALL '\1aTYPE-MERGE 2 = A-C12>
 651                     <JUMP + PHRASE65>
 652 PHRASE63
 653                     <SET A-C12 'FIX (TYPE ATOM)>
 654 PHRASE65
 655                     <PUTUV N6 3 A-C12>
 656                     <DEAD A-C12>
 657 PEEP82
 658                     <SET TEMP26 1 (TYPE FIX)>
 659                     <JUMP + PHRASE72>
 660 PHRASE60
 661                     <FRAME '\1aTYPE-OK?>
 662                     <PUSH NOD13>
 663                     <PUSH 'FIX>
 664                     <CALL '\1aTYPE-OK? 2 = A-C12>
 665                     <TYPE? A-C12 <TYPE-CODE FALSE> - PHRASE66 (DEAD-JUMP FL11)>
 666                     <DEAD A-C12>
 667                     <VEQUAL? FL11 0 + PHRASE69>
 668                     <DEAD FL11>
 669                     <FRAME '\1aTYPE-MERGE>
 670                     <PUSH <STRUCTURED [REST FLOAT]>>
 671                     <NTHUV N6 3 = STACK>
 672                     <CALL '\1aTYPE-MERGE 2 = A-C12>
 673                     <JUMP + PHRASE71>
 674 PHRASE69
 675                     <SET A-C12 'FLOAT (TYPE ATOM)>
 676 PHRASE71
 677                     <PUTUV N6 3 A-C12>
 678                     <DEAD A-C12>
 679 PEEP81
 680                     <SET TEMP26 2 (TYPE FIX)>
 681                     <JUMP + PHRASE72>
 682 PHRASE66
 683                     <SET TEMP26 3 (TYPE FIX)>
 684 PHRASE72
 685                     <SET FL11 TEMP26>
 686                     <DEAD TEMP26>
 687                     <GEN-LVAL 'VERBOSE = TEMP26>
 688                     <TYPE? TEMP26 <TYPE-CODE FALSE> + PHRASE74 (DEAD-JUMP N6 NOD13)>
 689                     <DEAD TEMP26>
 690                     <VEQUAL? FL11 3 - PHRASE74 (TYPE FIX) (DEAD-JUMP N6 NOD13)>
 691                     <FRAME '\1aADDVMESS>
 692                     <NTHUV N6 2 = STACK (TYPE NODE)>
 693                     <CONS NOD13 () = TEMP26>
 694                     <DEAD NOD13>
 695                     <CONS " is of type:  " TEMP26 = TEMP26>
 696                     <CONS N6 TEMP26 = TEMP26>
 697                     <DEAD N6>
 698                     <CONS "Arithmetic can't open compile because:  " TEMP26 = STACK>
 699                     <DEAD TEMP26>
 700                     <CALL '\1aADDVMESS 2>
 701 PHRASE74
 702                     <GVAL 'ASTATE = TEMP26 (TYPE VECTOR)>
 703                     <NTHUV TEMP26 ISTATE14 = A-C12 (TYPE UVECTOR)>
 704                     <DEAD TEMP26 ISTATE14>
 705                     <NTHUU A-C12 FL11 = TEMP26 (TYPE FIX)>
 706                     <DEAD A-C12 FL11>
 707                     <GEN-SET 'STATE TEMP26>
 708                     <RETURN TEMP26>
 709                     <DEAD TEMP26>
 710                     <END \1aARITH-ELE>
 711 #WORD *37157032553*
 712 <GFCN \1aABS-ANA ("VALUE" ANY NODE ANY) N4 RT5>
 713                     <TEMP K6:LIST TEMP9>
 714                     <INTGO>
 715                     <NTHUV N4 5 = K6 (TYPE LIST)>
 716                     <FRAME '\1aSEGFLUSH>
 717                     <PUSH N4>
 718                     <PUSH RT5>
 719                     <CALL '\1aSEGFLUSH 2 = TEMP9>
 720                     <TYPE? TEMP9 <TYPE-CODE FALSE> - PHRASE11 (DEAD-JUMP RT5 N4 K6) (DEAD-FALL TEMP9)>
 721                     <FRAME '\1aARGCHK>
 722                     <LENL K6 = STACK (TYPE FIX)>
 723                     <PUSH 1>
 724                     <PUSH 'ABS>
 725                     <PUSH N4>
 726                     <CALL '\1aARGCHK 4>
 727                     <PUTUV N4 1 38 (TYPE FIX)>
 728                     <DEAD N4>
 729                     <FRAME '\1aEANA>
 730                     <NTHL K6 1 = STACK (TYPE NODE)>
 731                     <DEAD K6>
 732                     <PUSH <OR FIX FLOAT>>
 733                     <PUSH 'ABS>
 734                     <CALL '\1aEANA 3 = TEMP9>
 735                     <FRAME '\1aTYPE-OK?>
 736                     <FRAME '\1aTYPE-OK?>
 737                     <GVAL 'ABS-DECL = STACK>
 738                     <PUSH RT5>
 739                     <DEAD RT5>
 740                     <CALL '\1aTYPE-OK? 2 = STACK>
 741                     <PUSH TEMP9>
 742                     <DEAD TEMP9>
 743                     <CALL '\1aTYPE-OK? 2 = TEMP9>
 744 PHRASE11
 745                     <RETURN TEMP9>
 746                     <DEAD TEMP9>
 747                     <END \1aABS-ANA>
 748 <SETG ABS-DECL <FORM OR FLOAT <FORM FIX (0 <MIN>)>>>
 749
 750 <COND (<GASSIGNED? ABS-ANA> <PUTPROP ,ABS ANALYSIS ,ABS-ANA>)>
 751
 752 #WORD *34365412562*
 753 <GFCN \1aMOD-ANA ("VALUE" ANY NODE ANY) N4 R5>
 754                     <TEMP K6:LIST TEMP9 TEMP17>
 755                     <INTGO>
 756                     <NTHUV N4 5 = K6 (TYPE LIST)>
 757                     <FRAME '\1aSEGFLUSH>
 758                     <PUSH N4>
 759                     <PUSH R5>
 760                     <CALL '\1aSEGFLUSH 2 = TEMP9>
 761                     <TYPE? TEMP9 <TYPE-CODE FALSE> - PHRASE18>
 762                     <DEAD TEMP9>
 763                     <FRAME '\1aARGCHK>
 764                     <LENL K6 = STACK (TYPE FIX)>
 765                     <PUSH 2>
 766                     <PUSH 'MOD>
 767                     <PUSH N4>
 768                     <CALL '\1aARGCHK 4>
 769                     <FRAME '\1aEANA>
 770                     <NTHL K6 1 = STACK (TYPE NODE)>
 771                     <PUSH 'FIX>
 772                     <PUSH 'MOD>
 773                     <CALL '\1aEANA 3>
 774                     <FRAME '\1aEANA>
 775                     <RESTL K6 1 = TEMP9 (TYPE LIST)>
 776                     <NTHL TEMP9 1 = STACK (TYPE NODE)>
 777                     <DEAD TEMP9>
 778                     <PUSH 'FIX>
 779                     <PUSH 'MOD>
 780                     <CALL '\1aEANA 3>
 781                     <NTHL K6 1 = TEMP9 (TYPE NODE)>
 782                     <NTHUV TEMP9 1 = TEMP9 (TYPE FIX)>
 783                     <VEQUAL? TEMP9 2 - PHRASE15 (TYPE FIX)>
 784                     <DEAD TEMP9>
 785                     <RESTL K6 1 = TEMP9 (TYPE LIST)>
 786                     <NTHL TEMP9 1 = TEMP9 (TYPE NODE)>
 787                     <NTHUV TEMP9 1 = TEMP9 (TYPE FIX)>
 788                     <VEQUAL? TEMP9 2 - PHRASE15 (TYPE FIX)>
 789                     <DEAD TEMP9>
 790                     <NTHL K6 1 = TEMP9 (TYPE NODE)>
 791                     <NTHUV TEMP9 4 = TEMP9 (TYPE FIX)>
 792                     <RESTL K6 1 = TEMP17 (TYPE LIST)>
 793                     <NTHL TEMP17 1 = TEMP17 (TYPE NODE)>
 794                     <NTHUV TEMP17 4 = TEMP17 (TYPE FIX)>
 795                     <MOD TEMP9 TEMP17 = TEMP17 (TYPE FIX)>
 796                     <DEAD TEMP9>
 797                     <PUTUV N4 4 TEMP17>
 798                     <DEAD TEMP17>
 799                     <PUTUV N4 1 2 (TYPE FIX)>
 800                     <PUTUV N4 5 () (TYPE LIST)>
 801                     <JUMP + PHRASE18>
 802 PHRASE15
 803                     <PUTUV N4 1 41 (TYPE FIX)>
 804 PHRASE18
 805                     <FRAME '\1aTYPE-OK?>
 806                     <NTHUV N4 5 = TEMP17 (TYPE LIST)>
 807                     <DEAD N4>
 808                     <EMPL? TEMP17 + PHRASE21 (TYPE LIST) (DEAD-JUMP K6)>
 809                     <DEAD TEMP17>
 810                     <RESTL K6 1 = TEMP17 (TYPE LIST)>
 811                     <NTHL TEMP17 1 = TEMP17 (TYPE NODE)>
 812                     <NTHUV TEMP17 1 = TEMP17 (TYPE FIX)>
 813                     <VEQUAL? TEMP17 2 - PHRASE21 (TYPE FIX) (DEAD-JUMP K6)>
 814                     <DEAD TEMP17>
 815                     <FRAME '\1aFORM>
 816                     <PUSH 'FIX>
 817                     <RESTL K6 1 = TEMP17 (TYPE LIST)>
 818                     <DEAD K6>
 819                     <NTHL TEMP17 1 = TEMP17 (TYPE NODE)>
 820                     <NTHUV TEMP17 4 = TEMP17>
 821                     <SUB TEMP17 1 = TEMP17 (TYPE FIX)>
 822                     <CONS TEMP17 () = TEMP17>
 823                     <CONS 0 TEMP17 = STACK>
 824                     <DEAD TEMP17>
 825                     <CALL '\1aFORM 2 = TEMP17>
 826                     <JUMP + PHRASE24>
 827 PHRASE21
 828                     <SET TEMP17 'FIX (TYPE ATOM)>
 829 PHRASE24
 830                     <PUSH TEMP17>
 831                     <DEAD TEMP17>
 832                     <PUSH R5>
 833                     <DEAD R5>
 834                     <CALL '\1aTYPE-OK? 2 = TEMP17>
 835                     <RETURN TEMP17>
 836                     <DEAD TEMP17>
 837                     <END \1aMOD-ANA>
 838 <COND (<GASSIGNED? MOD-ANA> <PUTPROP ,MOD ANALYSIS ,MOD-ANA>)>
 839
 840 #WORD *2411122351*
 841 <GFCN \1aROT-LSH-ANA ("VALUE" ANY ANY ANY ANY) N4 R5 COD6>
 842                     <TEMP K7:LIST NAM8 TEMP11>
 843                     <INTGO>
 844                     <NTHUV N4 5 = K7 (TYPE LIST)>
 845                     <NTHUV N4 4 = NAM8>
 846                     <FRAME '\1aSEGFLUSH>
 847                     <PUSH N4>
 848                     <PUSH R5>
 849                     <CALL '\1aSEGFLUSH 2 = TEMP11>
 850                     <TYPE? TEMP11 <TYPE-CODE FALSE> - PHRASE23 (DEAD-JUMP COD6 N4 NAM8 K7)>
 851                     <DEAD TEMP11>
 852                     <FRAME '\1aARGCHK>
 853                     <LENL K7 = STACK (TYPE FIX)>
 854                     <PUSH 2>
 855                     <PUSH NAM8>
 856                     <PUSH N4>
 857                     <CALL '\1aARGCHK 4>
 858                     <FRAME '\1aEANA>
 859                     <NTHL K7 1 = STACK (TYPE NODE)>
 860                     <PUSH <PRIMTYPE WORD>>
 861                     <PUSH NAM8>
 862                     <CALL '\1aEANA 3>
 863                     <FRAME '\1aEANA>
 864                     <RESTL K7 1 = TEMP11 (TYPE LIST)>
 865                     <NTHL TEMP11 1 = STACK (TYPE NODE)>
 866                     <DEAD TEMP11>
 867                     <PUSH 'FIX>
 868                     <PUSH NAM8>
 869                     <DEAD NAM8>
 870                     <CALL '\1aEANA 3>
 871                     <NTHL K7 1 = TEMP11 (TYPE NODE)>
 872                     <NTHUV TEMP11 1 = TEMP11 (TYPE FIX)>
 873                     <VEQUAL? TEMP11 2 - PHRASE17 (TYPE FIX) (DEAD-JUMP K7)>
 874                     <DEAD TEMP11>
 875                     <RESTL K7 1 = TEMP11 (TYPE LIST)>
 876                     <NTHL TEMP11 1 = TEMP11 (TYPE NODE)>
 877                     <NTHUV TEMP11 1 = TEMP11 (TYPE FIX)>
 878                     <VEQUAL? TEMP11 2 - PHRASE17 (TYPE FIX) (DEAD-JUMP K7)>
 879                     <DEAD TEMP11>
 880                     <EQUAL? COD6 87 - PHRASE20>
 881                     <DEAD COD6>
 882                     <NTHL K7 1 = TEMP11 (TYPE NODE)>
 883                     <NTHUV TEMP11 4 = TEMP11>
 884                     <RESTL K7 1 = NAM8 (TYPE LIST)>
 885                     <DEAD K7>
 886                     <NTHL NAM8 1 = NAM8 (TYPE NODE)>
 887                     <NTHUV NAM8 4 = NAM8 (TYPE FIX)>
 888                     <LSH TEMP11 NAM8 = NAM8 (TYPE FIX)>
 889                     <DEAD TEMP11>
 890                     <PUTUV N4 4 NAM8>
 891                     <DEAD NAM8>
 892                     <JUMP + PHRASE22>
 893 PHRASE20
 894                     <NTHL K7 1 = NAM8 (TYPE NODE)>
 895                     <NTHUV NAM8 4 = NAM8>
 896                     <RESTL K7 1 = TEMP11 (TYPE LIST)>
 897                     <DEAD K7>
 898                     <NTHL TEMP11 1 = TEMP11 (TYPE NODE)>
 899                     <NTHUV TEMP11 4 = TEMP11 (TYPE FIX)>
 900                     <ROT NAM8 TEMP11 = TEMP11 (TYPE FIX)>
 901                     <DEAD NAM8>
 902                     <PUTUV N4 4 TEMP11>
 903                     <DEAD TEMP11>
 904 PHRASE22
 905                     <PUTUV N4 5 () (TYPE LIST)>
 906                     <PUTUV N4 1 2 (TYPE FIX)>
 907                     <DEAD N4>
 908                     <JUMP + PHRASE23>
 909 PHRASE17
 910                     <PUTUV N4 1 COD6>
 911                     <DEAD N4 COD6>
 912 PHRASE23
 913                     <FRAME '\1aTYPE-OK?>
 914                     <PUSH 'FIX>
 915                     <PUSH R5>
 916                     <DEAD R5>
 917                     <CALL '\1aTYPE-OK? 2 = TEMP11>
 918                     <RETURN TEMP11>
 919                     <DEAD TEMP11>
 920                     <END \1aROT-LSH-ANA>
 921 #WORD *36052401032*
 922 <GFCN \1aROT-ANA ("VALUE" ANY ANY ANY) N4 R5>
 923                     <TEMP TEMP7>
 924                     <INTGO>
 925                     <FRAME '\1aROT-LSH-ANA>
 926                     <PUSH N4>
 927                     <DEAD N4>
 928                     <PUSH R5>
 929                     <DEAD R5>
 930                     <PUSH 86>
 931                     <CALL '\1aROT-LSH-ANA 3 = TEMP7>
 932                     <RETURN TEMP7>
 933                     <DEAD TEMP7>
 934                     <END \1aROT-ANA>
 935 #WORD *7052471032*
 936 <GFCN \1aLSH-ANA ("VALUE" ANY ANY ANY) N4 R5>
 937                     <TEMP TEMP7>
 938                     <INTGO>
 939                     <FRAME '\1aROT-LSH-ANA>
 940                     <PUSH N4>
 941                     <DEAD N4>
 942                     <PUSH R5>
 943                     <DEAD R5>
 944                     <PUSH 87>
 945                     <CALL '\1aROT-LSH-ANA 3 = TEMP7>
 946                     <RETURN TEMP7>
 947                     <DEAD TEMP7>
 948                     <END \1aLSH-ANA>
 949 <COND (<GASSIGNED? ROT-ANA> <PUTPROP ,ROT ANALYSIS ,ROT-ANA> <PUTPROP ,LSH ANALYSIS ,LSH-ANA>)>
 950
 951 #WORD *16677027353*
 952 <GFCN \1aFLOAT-ANA ("VALUE" ANY NODE ANY) N4 R5>
 953                     <TEMP TEMP7>
 954                     <INTGO>
 955                     <FRAME '\1aFL-FI-ANA>
 956                     <PUSH N4>
 957                     <DEAD N4>
 958                     <PUSH R5>
 959                     <DEAD R5>
 960                     <PUSH 'FLOAT>
 961                     <PUSH 'FIX>
 962                     <PUSH 40>
 963                     <CALL '\1aFL-FI-ANA 5 = TEMP7>
 964                     <RETURN TEMP7>
 965                     <DEAD TEMP7>
 966                     <END \1aFLOAT-ANA>
 967 <COND (<GASSIGNED? FLOAT-ANA> <PUTPROP ,FLOAT ANALYSIS ,FLOAT-ANA>)>
 968
 969 #WORD *3276346203*
 970 <GFCN \1aFIX-ANA ("VALUE" ANY NODE ANY) N4 R5>
 971                     <TEMP TEMP7>
 972                     <INTGO>
 973                     <FRAME '\1aFL-FI-ANA>
 974                     <PUSH N4>
 975                     <DEAD N4>
 976                     <PUSH R5>
 977                     <DEAD R5>
 978                     <PUSH 'FIX>
 979                     <PUSH 'FLOAT>
 980                     <PUSH 39>
 981                     <CALL '\1aFL-FI-ANA 5 = TEMP7>
 982                     <RETURN TEMP7>
 983                     <DEAD TEMP7>
 984                     <END \1aFIX-ANA>
 985 <COND (<GASSIGNED? FIX-ANA> <PUTPROP ,FIX ANALYSIS ,FIX-ANA>)>
 986
 987 #WORD *22452261326*
 988 <GFCN \1aFL-FI-ANA ("VALUE" ANY NODE ANY ATOM ATOM FIX) N4 RT5 OT6 IT7 COD8>
 989                     <TEMP K9 TEMP14>
 990                     <INTGO>
 991                     <NTHUV N4 5 = K9 (TYPE LIST)>
 992                     <FRAME '\1aSEGFLUSH>
 993                     <PUSH N4>
 994                     <PUSH RT5>
 995                     <CALL '\1aSEGFLUSH 2 = TEMP14>
 996                     <TYPE? TEMP14 <TYPE-CODE FALSE> - PHRASE22 (DEAD-JUMP COD8 N4 K9)>
 997                     <DEAD TEMP14>
 998                     <FRAME '\1aARGCHK>
 999                     <LENL K9 = STACK (TYPE FIX)>
1000                     <PUSH 1>
1001                     <PUSH OT6>
1002                     <PUSH N4>
1003                     <CALL '\1aARGCHK 4>
1004                     <FRAME '\1aEANA>
1005                     <NTHL K9 1 = K9 (TYPE NODE)>
1006                     <PUSH K9>
1007                     <PUSH <OR FIX FLOAT>>
1008                     <PUSH OT6>
1009                     <CALL '\1aEANA 3>
1010                     <NTHUV K9 1 = TEMP14 (TYPE FIX)>
1011                     <VEQUAL? TEMP14 2 - PHRASE19 (TYPE FIX) (DEAD-JUMP K9) (DEAD-FALL COD8)>
1012                     <DEAD TEMP14>
1013                     <PUTUV N4 1 2 (TYPE FIX)>
1014                     <FRAME>
1015                     <GVAL OT6 = TEMP14>
1016                     <NTHUV K9 4 = STACK>
1017                     <DEAD K9>
1018                     <ACALL TEMP14 1 = TEMP14>
1019                     <PUTUV N4 4 TEMP14>
1020                     <DEAD N4 TEMP14>
1021                     <JUMP + PHRASE22>
1022 PHRASE19
1023                     <PUTUV N4 1 COD8 (TYPE FIX)>
1024                     <DEAD N4 COD8>
1025 PHRASE22
1026                     <FRAME '\1aTYPE-OK?>
1027                     <PUSH OT6>
1028                     <DEAD OT6>
1029                     <PUSH RT5>
1030                     <DEAD RT5>
1031                     <CALL '\1aTYPE-OK? 2 = TEMP14>
1032                     <RETURN TEMP14>
1033                     <DEAD TEMP14>
1034                     <END \1aFL-FI-ANA>
1035 #WORD *11413546740*
1036 <GFCN \1aARITHP-ANA ("VALUE" ANY NODE ANY) NOD4 RTYP5>
1037                     <TEMP TEMP3:LBIND TEMP22 TEMP25 N11:FIX K12:LIST (TY18 'BOOLEAN) NT16>
1038                     <INTGO>
1039                     <GETS 'BIND = TEMP3 (TYPE LBIND)>
1040                     <BBIND 'NOD 'NODE %<> NOD4>
1041                     <DEAD NOD4>
1042                     <FIXBIND>
1043                     <GEN-LVAL 'PRED = TEMP22>
1044                     <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1045                     <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1046                     <NTHUV TEMP25 2 = TEMP25>
1047                     <EQUAL? TEMP22 TEMP25 + TAG21>
1048                     <DEAD TEMP22 TEMP25>
1049                     <SET TEMP22 %<> (TYPE FALSE)>
1050                     <JUMP + BOOL19>
1051 TAG21
1052                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1053                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1054 BOOL19
1055                     <BBIND 'WHON 'ANY 'FIX TEMP22>
1056                     <DEAD TEMP22>
1057                     <BBIND 'WHO 'LIST 'FIX ()>
1058                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1059                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1060                     <BBIND 'GLN 'ANY 'FIX TEMP22>
1061                     <DEAD TEMP22>
1062                     <BBIND 'GLE 'LIST 'FIX ()>
1063                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1064                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1065                     <NTHUV TEMP22 4 = TEMP22>
1066                     <EQUAL? TEMP22 '0? + BOOL37 (DEAD-JUMP TEMP22)>
1067                     <EQUAL? TEMP22 '1? + BOOL37>
1068                     <DEAD TEMP22>
1069                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1070                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1071                     <NTHUV TEMP22 1 = TEMP22 (TYPE FIX)>
1072                     <VEQUAL? TEMP22 19 - PHRASE36 (TYPE FIX)>
1073                     <DEAD TEMP22>
1074 BOOL37
1075                     <SET TEMP22 1 (TYPE FIX)>
1076                     <JUMP + PHRASE40>
1077 PHRASE36
1078                     <SET TEMP22 2 (TYPE FIX)>
1079 PHRASE40
1080                     <SET N11 TEMP22>
1081                     <DEAD TEMP22>
1082                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1083                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1084                     <NTHUV TEMP22 5 = K12 (TYPE LIST)>
1085                     <DEAD TEMP22>
1086                     <BBIND 'STATE 'FIX 'FIX 1>
1087                     <BBIND 'ALL-CONST 'ANY 'FIX 'ALL-CONST>
1088                     <FRAME '\1aSEGFLUSH>
1089                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1090                     <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1091                     <DEAD TEMP22>
1092                     <PUSH RTYP5>
1093                     <CALL '\1aSEGFLUSH 2 = TEMP22>
1094                     <TYPE? TEMP22 <TYPE-CODE FALSE> + PHRASE44 (DEAD-FALL TY18 K12 N11)>
1095                     <DEAD TEMP22>
1096                     <SET TY18 <OR FALSE ATOM> (TYPE FORM)>
1097                     <JUMP + PHRASE48>
1098 PHRASE44
1099                     <VEQUAL? N11 2 - PHRASE50 (TYPE FIX)>
1100                     <EMPL? K12 + PHRASE50>
1101                     <RESTL K12 1 = TEMP22 (TYPE LIST)>
1102                     <EMPL? TEMP22 - PHRASE50>
1103                     <DEAD TEMP22>
1104                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1105                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1106                     <NTHUV TEMP22 5 = TEMP22 (TYPE LIST)>
1107                     <NTHL TEMP22 1 = NT16 (TYPE NODE)>
1108                     <DEAD TEMP22>
1109                     <NTHUV NT16 1 = TEMP22 (TYPE FIX)>
1110                     <VEQUAL? TEMP22 6 - PHRASE50 (TYPE FIX) (DEAD-JUMP NT16)>
1111                     <DEAD TEMP22>
1112                     <NTHUV NT16 4 = TEMP22>
1113                     <EQUAL? TEMP22 'LENGTH - PHRASE50 (DEAD-JUMP NT16)>
1114                     <DEAD TEMP22>
1115                     <NTHUV NT16 5 = NT16 (TYPE LIST)>
1116                     <EMPL? NT16 + PHRASE50 (DEAD-JUMP NT16)>
1117                     <RESTL NT16 1 = TEMP22 (TYPE LIST)>
1118                     <EMPL? TEMP22 + PHRASE50 (DEAD-JUMP NT16 TEMP22)>
1119                     <RESTL TEMP22 1 = TEMP22 (TYPE LIST)>
1120                     <EMPL? TEMP22 - PHRASE50 (DEAD-JUMP NT16)>
1121                     <DEAD TEMP22>
1122                     <FRAME '\1aCOMPILE-WARNING>
1123                     <PUSH "Attempting to repair probable erroneous code:
1124 ">
1125                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1126                     <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1127                     <DEAD TEMP22>
1128                     <PUSH "
1129 replaced by">
1130                     <CALL '\1aCOMPILE-WARNING 3>
1131                     <RESTL NT16 1 = TEMP25 (TYPE LIST)>
1132                     <PUTREST K12 TEMP25>
1133                     <DEAD TEMP25>
1134                     <PUTREST NT16 ()>
1135                     <NTHL NT16 1 = TEMP25 (TYPE NODE)>
1136                     <DEAD NT16>
1137                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1138                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1139                     <PUTUV TEMP25 2 TEMP22>
1140                     <DEAD TEMP25 TEMP22>
1141                     <FRAME '\1aNODE-COMPLAIN>
1142                     <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1143                     <NTHR TEMP25 1 = STACK (RECORD-TYPE LBIND)>
1144                     <DEAD TEMP25>
1145                     <CALL '\1aNODE-COMPLAIN 1>
1146                     <FRAME '\1aCRLF>
1147                     <GEN-LVAL 'OUTCHAN = STACK>
1148                     <CALL '\1aCRLF 1>
1149 PHRASE50
1150                     <FRAME '\1aARGCHK>
1151                     <LENL K12 = STACK (TYPE FIX)>
1152                     <PUSH N11>
1153                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1154                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1155                     <NTHUV TEMP22 4 = STACK>
1156                     <DEAD TEMP22>
1157                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1158                     <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1159                     <DEAD TEMP22>
1160                     <CALL '\1aARGCHK 4>
1161                     <SET TEMP22 K12 (TYPE LIST)>
1162                     <LOOP>
1163 MAP73
1164                     <INTGO>
1165                     <EMPL? TEMP22 + MAPAP76 (DEAD-JUMP TEMP22)>
1166                     <NTHL TEMP22 1 = NT16>
1167                     <FRAME '\1aARITH-ELE>
1168                     <PUSH NT16>
1169                     <DEAD NT16>
1170                     <PUSH <OR FIX FLOAT>>
1171                     <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1172                     <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1173                     <NTHUV TEMP25 9 = STACK>
1174                     <DEAD TEMP25>
1175                     <CALL '\1aARITH-ELE 3>
1176                     <RESTL TEMP22 1 = TEMP22 (TYPE LIST)>
1177                     <JUMP + MAP73>
1178 MAPAP76
1179                     <NTHR 'ALL-CONST 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1180                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1181                     <TYPE? TEMP22 <TYPE-CODE FALSE> + PHRASE88 (DEAD-FALL TY18)>
1182                     <DEAD TEMP22>
1183                     <VEQUAL? N11 1 - PHRASE92 (TYPE FIX)>
1184                     <DEAD N11>
1185                     <FRAME>
1186                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1187                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1188                     <NTHUV TEMP22 9 = TEMP22>
1189                     <NTHR 'ALL-CONST 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1190                     <NTHR TEMP25 1 = STACK (RECORD-TYPE LBIND)>
1191                     <DEAD TEMP25>
1192                     <ACALL TEMP22 1 = TEMP25>
1193                     <DEAD TEMP22>
1194                     <NTHR 'ALL-CONST 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1195                     <PUTR TEMP22 1 TEMP25 (RECORD-TYPE LBIND)>
1196                     <DEAD TEMP22 TEMP25>
1197 PHRASE92
1198                     <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1199                     <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1200                     <PUTUV TEMP25 1 2 (TYPE FIX)>
1201                     <DEAD TEMP25>
1202                     <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1203                     <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1204                     <FRAME '\1aTYPE>
1205                     <NTHR 'ALL-CONST 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1206                     <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1207                     <DEAD TEMP22>
1208                     <CALL '\1aTYPE 1 = TY18>
1209                     <PUTUV TEMP25 3 TY18>
1210                     <DEAD TEMP25>
1211                     <NTHR 'ALL-CONST 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1212                     <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1213                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1214                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1215                     <PUTUV TEMP22 4 TEMP25>
1216                     <DEAD TEMP22 TEMP25>
1217                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1218                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1219                     <PUTUV TEMP22 5 () (TYPE LIST)>
1220                     <DEAD TEMP22>
1221                     <NTHR 'ALL-CONST 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1222                     <PUTR TEMP22 1 'T (RECORD-TYPE LBIND)>
1223                     <DEAD TEMP22>
1224                     <JUMP + PHRASE167>
1225 PHRASE88
1226                     <VEQUAL? N11 2 - PHRASE117 (TYPE FIX)>
1227                     <NTHL K12 1 = TEMP25 (TYPE NODE)>
1228                     <NTHUV TEMP25 1 = TEMP25 (TYPE FIX)>
1229                     <VEQUAL? TEMP25 2 - BOOL120 (TYPE FIX)>
1230                     <DEAD TEMP25>
1231                     <NTHL K12 1 = TEMP25 (TYPE NODE)>
1232                     <NTHUV TEMP25 4 = TEMP25>
1233                     <EQUAL? TEMP25 0 + BOOL121 (DEAD-JUMP N11)>
1234                     <DEAD TEMP25>
1235                     <NTHL K12 1 = TEMP25 (TYPE NODE)>
1236                     <NTHUV TEMP25 4 = TEMP25>
1237                     <EQUAL? TEMP25 0.0 - BOOL120 (DEAD-FALL N11)>
1238                     <DEAD TEMP25>
1239 BOOL121
1240                     <RESTL K12 1 = TEMP25 (TYPE LIST)>
1241                     <NTHL TEMP25 1 = NT16 (TYPE NODE)>
1242                     <DEAD TEMP25>
1243                     <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1244                     <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1245                     <FRAME '\1aFLOPP>
1246                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1247                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1248                     <NTHUV TEMP22 4 = STACK (TYPE ATOM)>
1249                     <DEAD TEMP22>
1250                     <CALL '\1aFLOPP 1 = TEMP22>
1251                     <PUTUV TEMP25 4 TEMP22>
1252                     <DEAD TEMP25 TEMP22>
1253                     <JUMP + BOOL119>
1254 BOOL120
1255                     <RESTL K12 1 = TEMP25 (TYPE LIST)>
1256                     <NTHL TEMP25 1 = TEMP25 (TYPE NODE)>
1257                     <NTHUV TEMP25 1 = TEMP25 (TYPE FIX)>
1258                     <VEQUAL? TEMP25 2 - PHRASE117 (TYPE FIX)>
1259                     <DEAD TEMP25>
1260                     <RESTL K12 1 = TEMP25 (TYPE LIST)>
1261                     <NTHL TEMP25 1 = TEMP25 (TYPE NODE)>
1262                     <NTHUV TEMP25 4 = TEMP25>
1263                     <EQUAL? TEMP25 0 + BOOL128 (DEAD-JUMP N11)>
1264                     <DEAD TEMP25>
1265                     <RESTL K12 1 = TEMP25 (TYPE LIST)>
1266                     <NTHL TEMP25 1 = TEMP25 (TYPE NODE)>
1267                     <NTHUV TEMP25 4 = TEMP25>
1268                     <EQUAL? TEMP25 0.0 - PHRASE117 (DEAD-FALL N11)>
1269                     <DEAD TEMP25>
1270 BOOL128
1271                     <NTHL K12 1 = NT16 (TYPE NODE)>
1272 BOOL119
1273                     <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1274                     <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1275                     <PUTUV TEMP25 1 19 (TYPE FIX)>
1276                     <DEAD TEMP25>
1277                     <CONS NT16 () = TEMP25>
1278                     <DEAD NT16>
1279                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1280                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1281                     <PUTUV TEMP22 5 TEMP25 (TYPE LIST)>
1282                     <DEAD TEMP22 TEMP25>
1283                     <JUMP + PHRASE167>
1284 PHRASE117
1285                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1286                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1287                     <NTHUV TEMP22 1 = TEMP22 (TYPE FIX)>
1288                     <VEQUAL? TEMP22 19 + PHRASE167 (TYPE FIX) (DEAD-JUMP N11)>
1289                     <DEAD TEMP22>
1290                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1291                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1292                     <NTHUV TEMP22 4 = TEMP22>
1293                     <EQUAL? TEMP22 '0? + BOOL136 (DEAD-JUMP N11)>
1294                     <DEAD TEMP22>
1295                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1296                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1297                     <NTHUV TEMP22 4 = TEMP22>
1298                     <EQUAL? TEMP22 'N0? - PHRASE135 (DEAD-FALL N11)>
1299                     <DEAD TEMP22>
1300 BOOL136
1301                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1302                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1303                     <PUTUV TEMP22 1 19 (TYPE FIX)>
1304                     <DEAD TEMP22>
1305                     <JUMP + PHRASE167>
1306 PHRASE135
1307                     <NTHR 'STATE 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1308                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1309                     <LESS? TEMP22 5 - PHRASE143 (TYPE FIX) (DEAD-JUMP N11)>
1310                     <DEAD TEMP22>
1311                     <VEQUAL? N11 2 - PHRASE147 (TYPE FIX)>
1312                     <DEAD N11>
1313                     <SET TEMP22 22 (TYPE FIX)>
1314                     <JUMP + PHRASE151>
1315 PHRASE147
1316                     <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1317                     <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1318                     <NTHUV TEMP25 4 = TEMP25>
1319                     <EQUAL? TEMP25 '0? - PHRASE148>
1320                     <DEAD TEMP25>
1321                     <SET TEMP22 19 (TYPE FIX)>
1322                     <JUMP + PHRASE151>
1323 PHRASE148
1324                     <SET TEMP22 21 (TYPE FIX)>
1325 PHRASE151
1326                     <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1327                     <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1328                     <PUTUV TEMP25 1 TEMP22 (TYPE FIX)>
1329                     <DEAD TEMP25 TEMP22>
1330                     <JUMP + PHRASE167>
1331 PHRASE143
1332                     <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1333                     <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1334                     <NTHUV TEMP25 9 = TEMP25>
1335                     <GVAL '1? = TEMP22>
1336                     <EQUAL? TEMP25 TEMP22 - PHRASE154>
1337                     <DEAD TEMP25 TEMP22>
1338                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1339                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1340                     <PUTUV TEMP22 1 21 (TYPE FIX)>
1341                     <DEAD TEMP22>
1342                     <JUMP + PHRASE167>
1343 PHRASE154
1344                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1345                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1346                     <NTHUV TEMP22 9 = TEMP22>
1347                     <GVAL '==? = TEMP25>
1348                     <EQUAL? TEMP22 TEMP25 + BOOL160>
1349                     <DEAD TEMP22 TEMP25>
1350                     <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1351                     <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1352                     <NTHUV TEMP25 9 = TEMP25>
1353                     <GVAL 'N==? = TEMP22>
1354                     <EQUAL? TEMP25 TEMP22 - PHRASE159 (DEAD-JUMP TY18)>
1355                     <DEAD TEMP25 TEMP22>
1356 BOOL160
1357                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1358                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1359                     <PUTUV TEMP22 1 23 (TYPE FIX)>
1360                     <DEAD TEMP22>
1361                     <JUMP + PHRASE167>
1362 PHRASE159
1363                     <SET TY18 <OR ATOM FALSE> (TYPE FORM)>
1364                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1365                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1366                     <PUTUV TEMP22 1 52 (TYPE FIX)>
1367                     <DEAD TEMP22>
1368 PHRASE167
1369                     <NTHR 'STATE 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1370                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1371                     <VEQUAL? TEMP22 2 - PHRASE171 (TYPE FIX) (DEAD-JUMP K12)>
1372                     <DEAD TEMP22>
1373                     <NTHR 'ALL-CONST 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1374                     <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1375                     <TYPE? TEMP22 <TYPE-CODE FALSE> - PHRASE171 (DEAD-JUMP K12)>
1376                     <DEAD TEMP22>
1377                     <FRAME '\1aHACK-BOUNDS>
1378                     <NTHR 'WHO 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1379                     <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1380                     <DEAD TEMP22>
1381                     <NTHR 'GLE 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1382                     <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1383                     <DEAD TEMP22>
1384                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1385                     <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1386                     <DEAD TEMP22>
1387                     <PUSH K12>
1388                     <DEAD K12>
1389                     <CALL '\1aHACK-BOUNDS 4>
1390 PHRASE171
1391                     <FRAME '\1aCHECK-FOR-BIT-HACK>
1392                     <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1393                     <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1394                     <DEAD TEMP22>
1395                     <CALL '\1aCHECK-FOR-BIT-HACK 1>
1396 PHRASE48
1397                     <FRAME '\1aTYPE-OK?>
1398                     <PUSH TY18>
1399                     <DEAD TY18>
1400                     <PUSH RTYP5>
1401                     <DEAD RTYP5>
1402                     <CALL '\1aTYPE-OK? 2 = TEMP22>
1403                     <UNBIND TEMP3>
1404                     <DEAD TEMP3>
1405                     <ADJ -63>
1406                     <RETURN TEMP22>
1407                     <DEAD TEMP22>
1408                     <END \1aARITHP-ANA>
1409 #WORD *20333426023*
1410 <GFCN \1aCHECK-FOR-BIT-HACK ("VALUE" !<FALSE> ANY) N4>
1411                     <TEMP>
1412                     <INTGO>
1413                     <RETURN %<>>
1414                     <END \1aCHECK-FOR-BIT-HACK>
1415 '<DEFINE CHECK-FOR-BIT-HACK (N "AUX" (NN <1 <KIDS .N>>) DATA CONST K) #DECL ((NN DATA N) NODE (CONST) <PRIMTYPE WORD>) <COND (<AND <==? <NODE-TYPE .N> ,0-TST-CODE> <==? <NODE-TYPE .NN> ,CHTYPE-CODE> <SET NN <1 <KIDS .NN>>> <OR <AND <==? <NODE-TYPE .NN> ,GETBITS-CODE> <SET K <KIDS .NN>> <==? <NODE-TYPE <2 .K>> ,QUOTE-CODE> <SET DATA <1 .K>> <SET CONST <PUTBITS 0 <NODE-NAME <2 .K>> -1>>> <AND <==? <NODE-TYPE .NN> ,BITL-CODE> <==? <NODE-SUBR .NN> ,ANDB> <==? <LENGTH <SET K <KIDS .NN>>> 2> <OR <AND <==? <NODE-TYPE <1 .K>> ,QUOTE-CODE> <SET CONST <NODE-NAME <1 .K>>> <SET DATA <2 .K>>> <AND <==? <NODE-TYPE <2 .K>> ,QUOTE-CODE> <SET CONST <NODE-NAME <2 .K>>> <SET DATA <1 .K>>> <SET CONST 0>>>>> <PUT .N ,NODE-TYPE ,BIT-TEST-CODE> <PUT .N ,NODE-SUBR .CONST> <PUT .N ,KIDS <COND (<ASSIGNED? DATA> (.DATA)) (ELSE .K)>> <COND (<ASSIGNED? DATA> <PUT .DATA ,PARENT .N>) (ELSE <PUT <1 .K> ,PARENT .N> <PUT <2 .K> ,PARENT .N>)>)>>
1416
1417 #WORD *7545545057*
1418 <GFCN \1aBIT-TEST-ANA ("VALUE" ANY NODE ANY) N4 R5>
1419                     <TEMP K6>
1420                     <INTGO>
1421                     <NTHUV N4 5 = K6 (TYPE LIST)>
1422                     <FRAME '\1aEANA>
1423                     <NTHL K6 1 = STACK (TYPE NODE)>
1424                     <PUSH <PRIMTYPE WORD>>
1425                     <PUSH 'BIT-TEST>
1426                     <CALL '\1aEANA 3>
1427                     <RESTL K6 1 = K6 (TYPE LIST)>
1428                     <EMPL? K6 + PHRASE9 (TYPE LIST) (DEAD-JUMP K6)>
1429                     <FRAME '\1aEANA>
1430                     <NTHL K6 1 = STACK (TYPE NODE)>
1431                     <DEAD K6>
1432                     <PUSH <PRIMTYPE WORD>>
1433                     <PUSH 'BIT-TEST>
1434                     <CALL '\1aEANA 3>
1435 PHRASE9
1436                     <FRAME '\1aTYPE-OK?>
1437                     <NTHUV N4 3 = STACK>
1438                     <DEAD N4>
1439                     <PUSH R5>
1440                     <DEAD R5>
1441                     <CALL '\1aTYPE-OK? 2 = K6>
1442                     <RETURN K6>
1443                     <DEAD K6>
1444                     <END \1aBIT-TEST-ANA>
1445 #WORD *4335252651*
1446 <GFCN \1aHACK-BOUNDS ("VALUE" <OR ATOM FALSE> LIST LIST NODE <LIST [REST NODE]>) WHO4 GLE5 NOD6 K7>
1447                     <TEMP (HACKT12 %<>) TEMP17 TEMP19 NUM8 YES9:FORM NO10:FORM L39:LIST TEMP45>
1448                     <INTGO>
1449                     <NTHUV NOD6 4 = TEMP17>
1450                     <EQUAL? TEMP17 '0? + BOOL16 (DEAD-JUMP K7)>
1451                     <DEAD TEMP17>
1452                     <NTHUV NOD6 1 = TEMP17 (TYPE FIX)>
1453                     <VEQUAL? TEMP17 19 - PHRASE15 (TYPE FIX) (DEAD-FALL K7)>
1454                     <DEAD TEMP17>
1455 BOOL16
1456                     <SET TEMP17 0 (TYPE FIX)>
1457                     <JUMP + PHRASE21>
1458 PHRASE15
1459                     <NTHUV NOD6 4 = TEMP19>
1460                     <EQUAL? TEMP19 '1? - PHRASE18 (DEAD-FALL K7)>
1461                     <DEAD TEMP19>
1462                     <SET TEMP17 1 (TYPE FIX)>
1463                     <JUMP + PHRASE21>
1464 PHRASE18
1465                     <NTHL K7 1 = TEMP19 (TYPE NODE)>
1466                     <NTHUV TEMP19 1 = TEMP19 (TYPE FIX)>
1467                     <VEQUAL? TEMP19 2 - PHRASE20 (TYPE FIX)>
1468                     <DEAD TEMP19>
1469                     <NTHL K7 1 = TEMP19 (TYPE NODE)>
1470                     <DEAD K7>
1471                     <JUMP + PEEP113>
1472 PHRASE20
1473                     <RESTL K7 1 = TEMP19 (TYPE LIST)>
1474                     <NTHL TEMP19 1 = TEMP19 (TYPE NODE)>
1475                     <NTHUV TEMP19 1 = TEMP19 (TYPE FIX)>
1476                     <VEQUAL? TEMP19 2 + TAG22 (TYPE FIX) (DEAD-FALL K7)>
1477                     <DEAD TEMP19>
1478                     <SET TEMP17 %<> (TYPE FALSE)>
1479                     <JUMP + PHRASE21>
1480 TAG22
1481                     <FRAME '\1aFLOPP>
1482                     <NTHUV NOD6 4 = STACK (TYPE ATOM)>
1483                     <CALL '\1aFLOPP 1 = TEMP19>
1484                     <PUTUV NOD6 4 TEMP19>
1485                     <DEAD TEMP19>
1486                     <NTHL K7 1 = TEMP19 (TYPE NODE)>
1487                     <CONS TEMP19 () = TEMP19>
1488                     <RESTL K7 1 = TEMP17 (TYPE LIST)>
1489                     <NTHL TEMP17 1 = TEMP17 (TYPE NODE)>
1490                     <CONS TEMP17 TEMP19 = TEMP19>
1491                     <DEAD TEMP17>
1492                     <PUTUV NOD6 5 TEMP19 (TYPE LIST)>
1493                     <DEAD TEMP19>
1494                     <RESTL K7 1 = TEMP19 (TYPE LIST)>
1495                     <DEAD K7>
1496                     <NTHL TEMP19 1 = TEMP19 (TYPE NODE)>
1497 PEEP113
1498                     <NTHUV TEMP19 4 = TEMP17>
1499                     <DEAD TEMP19>
1500 PHRASE21
1501                     <SET NUM8 TEMP17>
1502                     <DEAD TEMP17>
1503                     <TYPE? NUM8 <TYPE-CODE FALSE> + MAPAP35 (DEAD-JUMP WHO4)>
1504                     <FRAME '\1aFORM>
1505                     <PUSH 'FIX>
1506                     <FRAME '\1aGTV>
1507                     <PUSH NOD6>
1508                     <PUSH NUM8>
1509                     <CALL '\1aGTV 2 = STACK>
1510                     <CALL '\1aFORM 2 = YES9>
1511                     <FRAME '\1aFORM>
1512                     <PUSH 'FIX>
1513                     <FRAME '\1aNGTV>
1514                     <PUSH NOD6>
1515                     <PUSH NUM8>
1516                     <CALL '\1aNGTV 2 = STACK>
1517                     <CALL '\1aFORM 2 = NO10>
1518                     <SET TEMP17 WHO4 (TYPE LIST)>
1519                     <DEAD WHO4>
1520                     <LOOP>
1521 MAP32
1522                     <INTGO>
1523                     <EMPL? TEMP17 + MAPAP35 (DEAD-JUMP NO10 YES9 TEMP17)>
1524                     <NTHL TEMP17 1 = L39>
1525                     <RESTL L39 1 = TEMP19 (TYPE LIST)>
1526                     <NTHL TEMP19 1 = TEMP19 (TYPE SYMTAB)>
1527                     <FRAME '\1aADD-TYPE-LIST>
1528                     <PUSH TEMP19>
1529                     <PUSH YES9>
1530                     <GEN-LVAL 'TRUTH = STACK>
1531                     <PUSH %<>>
1532                     <RESTL L39 1 = TEMP45 (TYPE LIST)>
1533                     <RESTL TEMP45 1 = STACK (TYPE LIST)>
1534                     <DEAD TEMP45>
1535                     <CALL '\1aADD-TYPE-LIST 5 = TEMP45>
1536                     <GEN-SET 'TRUTH TEMP45>
1537                     <DEAD TEMP45>
1538                     <FRAME '\1aADD-TYPE-LIST>
1539                     <PUSH TEMP19>
1540                     <DEAD TEMP19>
1541                     <PUSH NO10>
1542                     <GEN-LVAL 'UNTRUTH = STACK>
1543                     <PUSH %<>>
1544                     <RESTL L39 1 = TEMP45 (TYPE LIST)>
1545                     <DEAD L39>
1546                     <RESTL TEMP45 1 = STACK (TYPE LIST)>
1547                     <DEAD TEMP45>
1548                     <CALL '\1aADD-TYPE-LIST 5 = TEMP45>
1549                     <GEN-SET 'UNTRUTH TEMP45>
1550                     <DEAD TEMP45>
1551                     <RESTL TEMP17 1 = TEMP17 (TYPE LIST)>
1552                     <JUMP + MAP32>
1553 MAPAP35
1554                     <SET TEMP17 NUM8>
1555                     <TYPE? TEMP17 <TYPE-CODE FALSE> + MAPAP90 (DEAD-JUMP NOD6 GLE5 NUM8 HACKT12) (DEAD-FALL TEMP17)>
1556                     <LESS? NUM8 0 - TAG57 (TYPE FIX) (DEAD-FALL NOD6 GLE5 NUM8 HACKT12)>
1557                     <RETURN %<>>
1558 TAG57
1559                     <VEQUAL? NUM8 0 + BOOL63 (TYPE FIX)>
1560                     <NTHUV NOD6 4 = TEMP17>
1561                     <EQUAL? TEMP17 'G=? + BOOL70>
1562                     <DEAD TEMP17>
1563                     <NTHUV NOD6 4 = TEMP17>
1564                     <EQUAL? TEMP17 'L? + BOOL70>
1565                     <DEAD TEMP17>
1566 BOOL63
1567                     <VEQUAL? NUM8 0 - PHRASE61 (TYPE FIX)>
1568                     <NTHUV NOD6 4 = TEMP17>
1569                     <EQUAL? TEMP17 'G? - BOOL71 (DEAD-FALL HACKT12)>
1570                     <DEAD TEMP17>
1571                     <SET HACKT12 'T (TYPE ATOM)>
1572                     <JUMP + BOOL70>
1573 BOOL71
1574                     <NTHUV NOD6 4 = TEMP17>
1575                     <EQUAL? TEMP17 'L=? - PHRASE61>
1576                     <DEAD TEMP17>
1577 BOOL70
1578                     <ADD NUM8 1 = NUM8 (TYPE FIX)>
1579 PHRASE61
1580                     <VEQUAL? HACKT12 0 - TAG77 (DEAD-FALL HACKT12)>
1581                     <NTHUV NOD6 4 = TEMP17>
1582                     <SET TEMP19 [1? L? L=? ==?] (TYPE VECTOR)>
1583                     <TYPE? TEMP17 <TYPE-CODE ATOM> - TAG73 (DEAD-JUMP TEMP19 TEMP17)>
1584                     <LOOP (TEMP17 VALUE) (TEMP19 LENGTH VALUE)>
1585 TAG75
1586                     <NTHUV TEMP19 1 = TEMP45>
1587                     <VEQUAL? TEMP45 TEMP17 + TAG74 (DEAD-JUMP TEMP17)>
1588                     <DEAD TEMP45>
1589                     <RESTUV TEMP19 1 = TEMP19 (TYPE VECTOR)>
1590                     <EMPUV? TEMP19 - TAG75 (DEAD-FALL TEMP19 TEMP17)>
1591 TAG73
1592                     <SET HACKT12 %<> (TYPE FALSE)>
1593                     <JUMP + TAG77>
1594 TAG74
1595                     <SET HACKT12 TEMP19>
1596                     <DEAD TEMP19>
1597 TAG77
1598                     <NTHUV NOD6 4 = TEMP19>
1599                     <DEAD NOD6>
1600                     <EQUAL? TEMP19 '0? - PHRASE79 (DEAD-FALL NUM8)>
1601                     <DEAD TEMP19>
1602                     <SET NUM8 1 (TYPE FIX)>
1603 PHRASE79
1604                     <GRTR? NUM8 0 + PHRASE81 (TYPE FIX) (DEAD-FALL NUM8)>
1605                     <SET NUM8 'STRUCTURED (TYPE ATOM)>
1606                     <JUMP + PHRASE84>
1607 PHRASE81
1608                     <FRAME '\1aANY-PAT>
1609                     <PUSH NUM8>
1610                     <DEAD NUM8>
1611                     <CALL '\1aANY-PAT 1 = TEMP19>
1612                     <CONS 'STRUCTURED TEMP19 = TEMP19>
1613                     <CHTYPE TEMP19 <TYPE-CODE FORM> = NUM8>
1614                     <DEAD TEMP19>
1615 PHRASE84
1616                     <SET TEMP17 %<> (TYPE FALSE)>
1617                     <SET TEMP19 GLE5 (TYPE LIST)>
1618                     <DEAD GLE5>
1619                     <LOOP>
1620 MAP87
1621                     <INTGO>
1622                     <EMPL? TEMP19 + MAPAP90 (DEAD-JUMP NUM8 TEMP19 HACKT12) (DEAD-FALL TEMP17)>
1623                     <NTHL TEMP19 1 = L39>
1624                     <RESTL L39 1 = TEMP17 (TYPE LIST)>
1625                     <NTHL TEMP17 1 = TEMP17 (TYPE SYMTAB)>
1626                     <TYPE? HACKT12 <TYPE-CODE FALSE> + PHRASE99>
1627                     <FRAME '\1aADD-TYPE-LIST>
1628                     <PUSH TEMP17>
1629                     <DEAD TEMP17>
1630                     <PUSH NUM8>
1631                     <GEN-LVAL 'TRUTH = STACK>
1632                     <PUSH %<>>
1633                     <RESTL L39 1 = TEMP17 (TYPE LIST)>
1634                     <DEAD L39>
1635                     <RESTL TEMP17 1 = STACK (TYPE LIST)>
1636                     <DEAD TEMP17>
1637                     <CALL '\1aADD-TYPE-LIST 5 = TEMP17>
1638                     <GEN-SET 'TRUTH TEMP17>
1639                     <DEAD TEMP17>
1640                     <JUMP + PHRASE106>
1641 PHRASE99
1642                     <FRAME '\1aADD-TYPE-LIST>
1643                     <PUSH TEMP17>
1644                     <DEAD TEMP17>
1645                     <PUSH NUM8>
1646                     <GEN-LVAL 'UNTRUTH = STACK>
1647                     <PUSH %<>>
1648                     <RESTL L39 1 = L39 (TYPE LIST)>
1649                     <RESTL L39 1 = STACK (TYPE LIST)>
1650                     <DEAD L39>
1651                     <CALL '\1aADD-TYPE-LIST 5 = L39>
1652                     <GEN-SET 'UNTRUTH L39>
1653                     <DEAD L39>
1654 PHRASE106
1655                     <SET TEMP17 'T (TYPE ATOM)>
1656                     <RESTL TEMP19 1 = TEMP19 (TYPE LIST)>
1657                     <JUMP + MAP87>
1658 MAPAP90
1659                     <RETURN TEMP17>
1660                     <DEAD TEMP17>
1661                     <END \1aHACK-BOUNDS>
1662 <SETG APSUBTAB [1? 0? L? L=? G? G=? ==? N==?]>
1663
1664 <GDECL (APSUBTAB) <VECTOR [REST ATOM]>>
1665
1666 <SETG DCLTAB [(1 1) (0 0) ('<COND (<==? .VAL ,PLUSINF> .VAL) (ELSE <+ .VAL 1>)> ,PLUSINF) ('.VAL ,PLUSINF) (,MINUSINF '<COND (<==? .VAL ,MINUSINF> .VAL) (ELSE <- .VAL 1>)>) (,MINUSINF '.VAL) ('.VAL '.VAL) (,MINUSINF '<COND (<==? .VAL ,MINUSINF> .VAL) (ELSE <- .VAL 1>)> '<COND (<==? .VAL ,PLUSINF> .VAL) (ELSE <+ .VAL 1>)> ,PLUSINF)]>
1667
1668 <SETG NDCLTAB [(,MINUSINF 0 2 ,PLUSINF) (,MINUSINF -1 1 ,PLUSINF) (,MINUSINF '.VAL) (,MINUSINF '<COND (<==? .VAL ,MINUSINF> .VAL) (ELSE <- .VAL 1>)>) ('.VAL ,PLUSINF) ('<COND (<==? .VAL ,PLUSINF> .VAL) (ELSE <+ .VAL 1>)> ,PLUSINF) (,MINUSINF '<COND (<==? .VAL ,MINUSINF> .VAL) (ELSE <- .VAL 1>)> '<COND (<==? .VAL ,PLUSINF> .VAL) (ELSE <+ .VAL 1>)> ,PLUSINF) ('.VAL '.VAL)]>
1669
1670 <GDECL (DCLTAB NDCLTAB) VECTOR>
1671
1672 #WORD *13200166413*
1673 <GFCN \1aNGTV ("VALUE" ANY NODE ANY) NOD4 VAL5>
1674                     <TEMP TEMP3:LBIND TEMP7:VECTOR TEMP14 TEMP15 TEMP16>
1675                     <INTGO>
1676                     <GETS 'BIND = TEMP3 (TYPE LBIND)>
1677                     <BBIND 'VAL 'ANY %<> VAL5>
1678                     <DEAD VAL5>
1679                     <FIXBIND>
1680                     <FRAME '\1aEVAL>
1681                     <GVAL 'NDCLTAB = TEMP7 (TYPE VECTOR)>
1682                     <FRAME '\1aLENGTH>
1683                     <NTHUV NOD4 4 = TEMP14>
1684                     <DEAD NOD4>
1685                     <GVAL 'APSUBTAB = TEMP15 (TYPE VECTOR)>
1686                     <TYPE? TEMP14 <TYPE-CODE ATOM> - TAG10 (DEAD-JUMP TEMP15 TEMP14)>
1687                     <EMPUV? TEMP15 + TAG10 (DEAD-JUMP TEMP15 TEMP14)>
1688                     <LOOP (TEMP14 VALUE) (TEMP15 LENGTH VALUE)>
1689 TAG12
1690                     <NTHUV TEMP15 1 = TEMP16>
1691                     <VEQUAL? TEMP16 TEMP14 + TAG11 (DEAD-JUMP TEMP14)>
1692                     <DEAD TEMP16>
1693                     <RESTUV TEMP15 1 = TEMP15 (TYPE VECTOR)>
1694                     <EMPUV? TEMP15 - TAG12 (DEAD-FALL TEMP15 TEMP14)>
1695 TAG10
1696                     <PUSH %<>>
1697                     <JUMP + TAG17>
1698 TAG11
1699                     <PUSH TEMP15>
1700                     <DEAD TEMP15>
1701 TAG17
1702                     <CALL '\1aLENGTH 1 = TEMP15>
1703                     <SUB 9 TEMP15 = TEMP14 (TYPE FIX)>
1704                     <DEAD TEMP15>
1705                     <NTHUV TEMP7 TEMP14 = STACK>
1706                     <DEAD TEMP7 TEMP14>
1707                     <CALL '\1aEVAL 1 = TEMP14>
1708                     <UNBIND TEMP3>
1709                     <DEAD TEMP3>
1710                     <ADJ -9>
1711                     <RETURN TEMP14>
1712                     <DEAD TEMP14>
1713                     <END \1aNGTV>
1714 #WORD *23346245640*
1715 <GFCN \1aGTV ("VALUE" ANY NODE ANY) NOD4 VAL5>
1716                     <TEMP TEMP3:LBIND TEMP7:VECTOR TEMP14 TEMP15 TEMP16>
1717                     <INTGO>
1718                     <GETS 'BIND = TEMP3 (TYPE LBIND)>
1719                     <BBIND 'VAL 'ANY %<> VAL5>
1720                     <DEAD VAL5>
1721                     <FIXBIND>
1722                     <FRAME '\1aEVAL>
1723                     <GVAL 'DCLTAB = TEMP7 (TYPE VECTOR)>
1724                     <FRAME '\1aLENGTH>
1725                     <NTHUV NOD4 4 = TEMP14>
1726                     <DEAD NOD4>
1727                     <GVAL 'APSUBTAB = TEMP15 (TYPE VECTOR)>
1728                     <TYPE? TEMP14 <TYPE-CODE ATOM> - TAG10 (DEAD-JUMP TEMP15 TEMP14)>
1729                     <EMPUV? TEMP15 + TAG10 (DEAD-JUMP TEMP15 TEMP14)>
1730                     <LOOP (TEMP14 VALUE) (TEMP15 LENGTH VALUE)>
1731 TAG12
1732                     <NTHUV TEMP15 1 = TEMP16>
1733                     <VEQUAL? TEMP16 TEMP14 + TAG11 (DEAD-JUMP TEMP14)>
1734                     <DEAD TEMP16>
1735                     <RESTUV TEMP15 1 = TEMP15 (TYPE VECTOR)>
1736                     <EMPUV? TEMP15 - TAG12 (DEAD-FALL TEMP15 TEMP14)>
1737 TAG10
1738                     <PUSH %<>>
1739                     <JUMP + TAG17>
1740 TAG11
1741                     <PUSH TEMP15>
1742                     <DEAD TEMP15>
1743 TAG17
1744                     <CALL '\1aLENGTH 1 = TEMP15>
1745                     <SUB 9 TEMP15 = TEMP14 (TYPE FIX)>
1746                     <DEAD TEMP15>
1747                     <NTHUV TEMP7 TEMP14 = STACK>
1748                     <DEAD TEMP7 TEMP14>
1749                     <CALL '\1aEVAL 1 = TEMP14>
1750                     <UNBIND TEMP3>
1751                     <DEAD TEMP3>
1752                     <ADJ -9>
1753                     <RETURN TEMP14>
1754                     <DEAD TEMP14>
1755                     <END \1aGTV>
1756 #WORD *32115544714*
1757 <GFCN \1aFLOPP ("VALUE" ATOM ATOM) SUBR4>
1758                     <TEMP TEMP9 TEMP10>
1759                     <INTGO>
1760                     <SET TEMP9 [G? L? G? G=? L=? G=? ==? ==? N==? N==?] (TYPE VECTOR)>
1761                     <LOOP (SUBR4 VALUE) (TEMP9 LENGTH VALUE)>
1762 TAG7
1763                     <NTHUV TEMP9 1 = TEMP10>
1764                     <VEQUAL? TEMP10 SUBR4 + TAG6 (DEAD-JUMP SUBR4)>
1765                     <DEAD TEMP10>
1766                     <RESTUV TEMP9 1 = TEMP9 (TYPE VECTOR)>
1767                     <EMPUV? TEMP9 - TAG7 (DEAD-FALL SUBR4 TEMP9)>
1768                     <SET TEMP9 %<> (TYPE FALSE)>
1769 TAG6
1770                     <RESTUV TEMP9 1 = TEMP9 (TYPE VECTOR)>
1771                     <NTHUV TEMP9 1 = TEMP9 (TYPE ATOM)>
1772                     <RETURN TEMP9>
1773                     <DEAD TEMP9>
1774                     <END \1aFLOPP>
1775 <COND (<GASSIGNED? ARITH-ANA> <PUTPROP ,+ ANALYSIS ,ARITH-ANA> <PUTPROP ,- ANALYSIS ,ARITH-ANA> <PUTPROP ,* ANALYSIS ,ARITH-ANA> <PUTPROP ,/ ANALYSIS ,ARITH-ANA> <PUTPROP ,MAX ANALYSIS ,ARITH-ANA> <PUTPROP ,MIN ANALYSIS ,ARITH-ANA> <PUTPROP ,0? ANALYSIS ,ARITHP-ANA> <PUTPROP ,1? ANALYSIS ,ARITHP-ANA> <PUTPROP ,L? ANALYSIS ,ARITHP-ANA> <PUTPROP ,G? ANALYSIS ,ARITHP-ANA> <PUTPROP ,G=? ANALYSIS ,ARITHP-ANA> <PUTPROP ,L=? ANALYSIS ,ARITHP-ANA>)>
1776
1777 <ENDPACKAGE>