Home | History | Annotate | Download | only in h8300
      1 # Copyright (C) 2012-2016 Free Software Foundation, Inc.
      2 
      3 # This program is free software; you can redistribute it and/or modify
      4 # it under the terms of the GNU General Public License as published by
      5 # the Free Software Foundation; either version 3 of the License, or
      6 # (at your option) any later version.
      7 #
      8 # This program is distributed in the hope that it will be useful,
      9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
     10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     11 # GNU General Public License for more details.
     12 #
     13 # You should have received a copy of the GNU General Public License
     14 # along with this program; if not, write to the Free Software
     15 # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA.
     16 
     17 #
     18 # Some h8300sx tests -- t11_logs
     19 #
     20 
     21 proc do_t11_logs_test {} {
     22     set testname "t11_logs.s -- h8sx logic tests"
     23 
     24     gas_start "t11_logs.s" "-al"
     25 
     26     # Check each instruction bit pattern to verify it got assembled correctly.
     27 
     28     set x 0
     29     expect {
     30 	-re ".*   7 0000 1701" { set x [expr $x+1]; exp_continue; }
     31 	-re ".*   8 0002 7D101700" { set x [expr $x+1]; exp_continue; }
     32 	-re ".*   9 0006 01776818" { set x [expr $x+1]; exp_continue; }
     33 	-re ".*   9      1700" { set x [expr $x+1]; exp_continue; }
     34 	-re ".*  10 000c 01746C18" { set x [expr $x+1]; exp_continue; }
     35 	-re ".*  10      1700" { set x [expr $x+1]; exp_continue; }
     36 	-re ".*  11 0012 01776C18" { set x [expr $x+1]; exp_continue; }
     37 	-re ".*  11      1700" { set x [expr $x+1]; exp_continue; }
     38 	-re ".*  12 0018 01756C18" { set x [expr $x+1]; exp_continue; }
     39 	-re ".*  12      1700" { set x [expr $x+1]; exp_continue; }
     40 	-re ".*  13 001e 01766C18" { set x [expr $x+1]; exp_continue; }
     41 	-re ".*  13      1700" { set x [expr $x+1]; exp_continue; }
     42 	-re ".*  14 0024 01746E18" { set x [expr $x+1]; exp_continue; }
     43 	-re ".*  14      12341700" { set x [expr $x+1]; exp_continue; }
     44 	-re ".*  15 002c 78146A28" { set x [expr $x+1]; exp_continue; }
     45 	-re ".*  15      12345678" { set x [expr $x+1]; exp_continue; }
     46 	-re ".*  15      1700" { set x [expr $x+1]; exp_continue; }
     47 	-re ".*  16 0036 01756E28" { set x [expr $x+1]; exp_continue; }
     48 	-re ".*  16      12341700" { set x [expr $x+1]; exp_continue; }
     49 	-re ".*  17 003e 01766E28" { set x [expr $x+1]; exp_continue; }
     50 	-re ".*  17      12341700" { set x [expr $x+1]; exp_continue; }
     51 	-re ".*  18 0046 01776E28" { set x [expr $x+1]; exp_continue; }
     52 	-re ".*  18      12341700" { set x [expr $x+1]; exp_continue; }
     53 	-re ".*  19 004e 78256A28" { set x [expr $x+1]; exp_continue; }
     54 	-re ".*  19      12345678" { set x [expr $x+1]; exp_continue; }
     55 	-re ".*  19      1700" { set x [expr $x+1]; exp_continue; }
     56 	-re ".*  20 0058 78266A28" { set x [expr $x+1]; exp_continue; }
     57 	-re ".*  20      12345678" { set x [expr $x+1]; exp_continue; }
     58 	-re ".*  20      1700" { set x [expr $x+1]; exp_continue; }
     59 	-re ".*  21 0062 78276A28" { set x [expr $x+1]; exp_continue; }
     60 	-re ".*  21      12345678" { set x [expr $x+1]; exp_continue; }
     61 	-re ".*  21      1700" { set x [expr $x+1]; exp_continue; }
     62 	-re ".*  22 006c 7F121700" { set x [expr $x+1]; exp_continue; }
     63 	-re ".*  23 0070 6A181234" { set x [expr $x+1]; exp_continue; }
     64 	-re ".*  23      1700" { set x [expr $x+1]; exp_continue; }
     65 	-re ".*  24 0076 6A381234" { set x [expr $x+1]; exp_continue; }
     66 	-re ".*  24      56781700" { set x [expr $x+1]; exp_continue; }
     67 	-re ".*  25              " {
     68 	    if [expr $x == 37] then {
     69 		pass "$testname: not.b ..."
     70 	    } else {
     71 		fail "$testname: not.b ... ($x)"
     72 	    }
     73 	}
     74         default	{ fail "$testname: not.b ... ($x)" }
     75     }
     76 
     77     set x 0
     78     expect {
     79 	-re ".*  26 007e 1711" { set x [expr $x+1]; exp_continue; }
     80 	-re ".*  27 0080 7D901710" { set x [expr $x+1]; exp_continue; }
     81 	-re ".*  28 0084 01576918" { set x [expr $x+1]; exp_continue; }
     82 	-re ".*  28      1710" { set x [expr $x+1]; exp_continue; }
     83 	-re ".*  29 008a 01546D18" { set x [expr $x+1]; exp_continue; }
     84 	-re ".*  29      1710" { set x [expr $x+1]; exp_continue; }
     85 	-re ".*  30 0090 01576D18" { set x [expr $x+1]; exp_continue; }
     86 	-re ".*  30      1710" { set x [expr $x+1]; exp_continue; }
     87 	-re ".*  31 0096 01556D18" { set x [expr $x+1]; exp_continue; }
     88 	-re ".*  31      1710" { set x [expr $x+1]; exp_continue; }
     89 	-re ".*  32 009c 01566D18" { set x [expr $x+1]; exp_continue; }
     90 	-re ".*  32      1710" { set x [expr $x+1]; exp_continue; }
     91 	-re ".*  33 00a2 01546F18" { set x [expr $x+1]; exp_continue; }
     92 	-re ".*  33      12341710" { set x [expr $x+1]; exp_continue; }
     93 	-re ".*  34 00aa 78146B28" { set x [expr $x+1]; exp_continue; }
     94 	-re ".*  34      12345678" { set x [expr $x+1]; exp_continue; }
     95 	-re ".*  34      1710" { set x [expr $x+1]; exp_continue; }
     96 	-re ".*  35 00b4 01556F28" { set x [expr $x+1]; exp_continue; }
     97 	-re ".*  35      12341710" { set x [expr $x+1]; exp_continue; }
     98 	-re ".*  36 00bc 01566F28" { set x [expr $x+1]; exp_continue; }
     99 	-re ".*  36      12341710" { set x [expr $x+1]; exp_continue; }
    100 	-re ".*  37 00c4 01576F28" { set x [expr $x+1]; exp_continue; }
    101 	-re ".*  37      12341710" { set x [expr $x+1]; exp_continue; }
    102 	-re ".*  38 00cc 78256B28" { set x [expr $x+1]; exp_continue; }
    103 	-re ".*  38      12345678" { set x [expr $x+1]; exp_continue; }
    104 	-re ".*  38      1710" { set x [expr $x+1]; exp_continue; }
    105 	-re ".*  39 00d6 78266B28" { set x [expr $x+1]; exp_continue; }
    106 	-re ".*  39      12345678" { set x [expr $x+1]; exp_continue; }
    107 	-re ".*  39      1710" { set x [expr $x+1]; exp_continue; }
    108 	-re ".*  40 00e0 78276B28" { set x [expr $x+1]; exp_continue; }
    109 	-re ".*  40      12345678" { set x [expr $x+1]; exp_continue; }
    110 	-re ".*  40      1710" { set x [expr $x+1]; exp_continue; }
    111 	-re ".*  41 00ea 6B181234" { set x [expr $x+1]; exp_continue; }
    112 	-re ".*  41      1710" { set x [expr $x+1]; exp_continue; }
    113 	-re ".*  42 00f0 6B381234" { set x [expr $x+1]; exp_continue; }
    114 	-re ".*  42      56781710" { set x [expr $x+1]; exp_continue; }
    115 	-re ".*  43              " {
    116 	    if [expr $x == 36] then {
    117 		pass "$testname: not.w ..."
    118 	    } else {
    119 		fail "$testname: not.w ... ($x)"
    120 	    }
    121 	}
    122         default	{ fail "$testname: not.w ... ($x)" }
    123     }
    124 
    125     set x 0
    126     expect {
    127 	-re ".*  44 00f8 1731" { set x [expr $x+1]; exp_continue; }
    128 	-re ".*  45 00fa 01046918" { set x [expr $x+1]; exp_continue; }
    129 	-re ".*  45      1730" { set x [expr $x+1]; exp_continue; }
    130 	-re ".*  46 0100 01076918" { set x [expr $x+1]; exp_continue; }
    131 	-re ".*  46      1730" { set x [expr $x+1]; exp_continue; }
    132 	-re ".*  47 0106 01046D18" { set x [expr $x+1]; exp_continue; }
    133 	-re ".*  47      1730" { set x [expr $x+1]; exp_continue; }
    134 	-re ".*  48 010c 01076D18" { set x [expr $x+1]; exp_continue; }
    135 	-re ".*  48      1730" { set x [expr $x+1]; exp_continue; }
    136 	-re ".*  49 0112 01056D18" { set x [expr $x+1]; exp_continue; }
    137 	-re ".*  49      1730" { set x [expr $x+1]; exp_continue; }
    138 	-re ".*  50 0118 01066D18" { set x [expr $x+1]; exp_continue; }
    139 	-re ".*  50      1730" { set x [expr $x+1]; exp_continue; }
    140 	-re ".*  51 011e 01046F18" { set x [expr $x+1]; exp_continue; }
    141 	-re ".*  51      12341730" { set x [expr $x+1]; exp_continue; }
    142 	-re ".*  52 0126 78946B28" { set x [expr $x+1]; exp_continue; }
    143 	-re ".*  52      12345678" { set x [expr $x+1]; exp_continue; }
    144 	-re ".*  52      1730" { set x [expr $x+1]; exp_continue; }
    145 	-re ".*  53 0130 01056F28" { set x [expr $x+1]; exp_continue; }
    146 	-re ".*  53      12341730" { set x [expr $x+1]; exp_continue; }
    147 	-re ".*  54 0138 01066F28" { set x [expr $x+1]; exp_continue; }
    148 	-re ".*  54      12341730" { set x [expr $x+1]; exp_continue; }
    149 	-re ".*  55 0140 01076F28" { set x [expr $x+1]; exp_continue; }
    150 	-re ".*  55      12341730" { set x [expr $x+1]; exp_continue; }
    151 	-re ".*  56 0148 78A56B28" { set x [expr $x+1]; exp_continue; }
    152 	-re ".*  56      12345678" { set x [expr $x+1]; exp_continue; }
    153 	-re ".*  56      1730" { set x [expr $x+1]; exp_continue; }
    154 	-re ".*  57 0152 78A66B28" { set x [expr $x+1]; exp_continue; }
    155 	-re ".*  57      12345678" { set x [expr $x+1]; exp_continue; }
    156 	-re ".*  57      1730" { set x [expr $x+1]; exp_continue; }
    157 	-re ".*  58 015c 78A76B28" { set x [expr $x+1]; exp_continue; }
    158 	-re ".*  58      12345678" { set x [expr $x+1]; exp_continue; }
    159 	-re ".*  58      1730" { set x [expr $x+1]; exp_continue; }
    160 	-re ".*  59 0166 01046B08" { set x [expr $x+1]; exp_continue; }
    161 	-re ".*  59      12341730" { set x [expr $x+1]; exp_continue; }
    162 	-re ".*  60 016e 01046B28" { set x [expr $x+1]; exp_continue; }
    163 	-re ".*  60      12345678" { set x [expr $x+1]; exp_continue; }
    164 	-re ".*  60      1730" { set x [expr $x+1]; exp_continue; }
    165 	-re ".*  61              " {
    166 	    if [expr $x == 38] then {
    167 		pass "$testname: not.l ..."
    168 	    } else {
    169 		fail "$testname: not.l ... ($x)"
    170 	    }
    171 	}
    172         default	{ fail "$testname: not.l ... ($x)" }
    173     }
    174 
    175     set x 0
    176     expect {
    177 	-re ".*  62 0178 1001" { set x [expr $x+1]; exp_continue; }
    178 	-re ".*  63 017a 7D101000" { set x [expr $x+1]; exp_continue; }
    179 	-re ".*  64 017e 01776818" { set x [expr $x+1]; exp_continue; }
    180 	-re ".*  64      1000" { set x [expr $x+1]; exp_continue; }
    181 	-re ".*  65 0184 01746C18" { set x [expr $x+1]; exp_continue; }
    182 	-re ".*  65      1000" { set x [expr $x+1]; exp_continue; }
    183 	-re ".*  66 018a 01776C18" { set x [expr $x+1]; exp_continue; }
    184 	-re ".*  66      1000" { set x [expr $x+1]; exp_continue; }
    185 	-re ".*  67 0190 01756C18" { set x [expr $x+1]; exp_continue; }
    186 	-re ".*  67      1000" { set x [expr $x+1]; exp_continue; }
    187 	-re ".*  68 0196 01766C18" { set x [expr $x+1]; exp_continue; }
    188 	-re ".*  68      1000" { set x [expr $x+1]; exp_continue; }
    189 	-re ".*  69 019c 01746E18" { set x [expr $x+1]; exp_continue; }
    190 	-re ".*  69      12341000" { set x [expr $x+1]; exp_continue; }
    191 	-re ".*  70 01a4 78146A28" { set x [expr $x+1]; exp_continue; }
    192 	-re ".*  70      12345678" { set x [expr $x+1]; exp_continue; }
    193 	-re ".*  70      1000" { set x [expr $x+1]; exp_continue; }
    194 	-re ".*  71 01ae 01756E28" { set x [expr $x+1]; exp_continue; }
    195 	-re ".*  71      12341000" { set x [expr $x+1]; exp_continue; }
    196 	-re ".*  72 01b6 01766E28" { set x [expr $x+1]; exp_continue; }
    197 	-re ".*  72      12341000" { set x [expr $x+1]; exp_continue; }
    198 	-re ".*  73 01be 01776E28" { set x [expr $x+1]; exp_continue; }
    199 	-re ".*  73      12341000" { set x [expr $x+1]; exp_continue; }
    200 	-re ".*  74 01c6 78256A28" { set x [expr $x+1]; exp_continue; }
    201 	-re ".*  74      12345678" { set x [expr $x+1]; exp_continue; }
    202 	-re ".*  74      1000" { set x [expr $x+1]; exp_continue; }
    203 	-re ".*  75 01d0 78266A28" { set x [expr $x+1]; exp_continue; }
    204 	-re ".*  75      12345678" { set x [expr $x+1]; exp_continue; }
    205 	-re ".*  75      1000" { set x [expr $x+1]; exp_continue; }
    206 	-re ".*  76 01da 78276A28" { set x [expr $x+1]; exp_continue; }
    207 	-re ".*  76      12345678" { set x [expr $x+1]; exp_continue; }
    208 	-re ".*  76      1000" { set x [expr $x+1]; exp_continue; }
    209 	-re ".*  77 01e4 7F121000" { set x [expr $x+1]; exp_continue; }
    210 	-re ".*  78 01e8 6A181234" { set x [expr $x+1]; exp_continue; }
    211 	-re ".*  78      1000" { set x [expr $x+1]; exp_continue; }
    212 	-re ".*  79 01ee 6A381234" { set x [expr $x+1]; exp_continue; }
    213 	-re ".*  79      56781000" { set x [expr $x+1]; exp_continue; }
    214 	-re ".*  80              " {
    215 	    if [expr $x == 37] then {
    216 		pass "$testname: shll.b ..."
    217 	    } else {
    218 		fail "$testname: shll.b ... ($x)"
    219 	    }
    220 	}
    221         default	{ fail "$testname: shll.b ... ($x)" }
    222     }
    223 
    224     set x 0
    225     expect {
    226 	-re ".*  81 01f6 1011" { set x [expr $x+1]; exp_continue; }
    227 	-re ".*  82 01f8 7D901010" { set x [expr $x+1]; exp_continue; }
    228 	-re ".*  83 01fc 01576918" { set x [expr $x+1]; exp_continue; }
    229 	-re ".*  83      1010" { set x [expr $x+1]; exp_continue; }
    230 	-re ".*  84 0202 01546D18" { set x [expr $x+1]; exp_continue; }
    231 	-re ".*  84      1010" { set x [expr $x+1]; exp_continue; }
    232 	-re ".*  85 0208 01576D18" { set x [expr $x+1]; exp_continue; }
    233 	-re ".*  85      1010" { set x [expr $x+1]; exp_continue; }
    234 	-re ".*  86 020e 01556D18" { set x [expr $x+1]; exp_continue; }
    235 	-re ".*  86      1010" { set x [expr $x+1]; exp_continue; }
    236 	-re ".*  87 0214 01566D18" { set x [expr $x+1]; exp_continue; }
    237 	-re ".*  87      1010" { set x [expr $x+1]; exp_continue; }
    238 	-re ".*  88 021a 01546F18" { set x [expr $x+1]; exp_continue; }
    239 	-re ".*  88      12341010" { set x [expr $x+1]; exp_continue; }
    240 	-re ".*  89 0222 78146B28" { set x [expr $x+1]; exp_continue; }
    241 	-re ".*  89      12345678" { set x [expr $x+1]; exp_continue; }
    242 	-re ".*  89      1010" { set x [expr $x+1]; exp_continue; }
    243 	-re ".*  90 022c 01556F28" { set x [expr $x+1]; exp_continue; }
    244 	-re ".*  90      12341010" { set x [expr $x+1]; exp_continue; }
    245 	-re ".*  91 0234 01566F28" { set x [expr $x+1]; exp_continue; }
    246 	-re ".*  91      12341010" { set x [expr $x+1]; exp_continue; }
    247 	-re ".*  92 023c 01576F28" { set x [expr $x+1]; exp_continue; }
    248 	-re ".*  92      12341010" { set x [expr $x+1]; exp_continue; }
    249 	-re ".*  93 0244 78256B28" { set x [expr $x+1]; exp_continue; }
    250 	-re ".*  93      12345678" { set x [expr $x+1]; exp_continue; }
    251 	-re ".*  93      1010" { set x [expr $x+1]; exp_continue; }
    252 	-re ".*  94 024e 78266B28" { set x [expr $x+1]; exp_continue; }
    253 	-re ".*  94      12345678" { set x [expr $x+1]; exp_continue; }
    254 	-re ".*  94      1010" { set x [expr $x+1]; exp_continue; }
    255 	-re ".*  95 0258 78276B28" { set x [expr $x+1]; exp_continue; }
    256 	-re ".*  95      12345678" { set x [expr $x+1]; exp_continue; }
    257 	-re ".*  95      1010" { set x [expr $x+1]; exp_continue; }
    258 	-re ".*  96 0262 6B181234" { set x [expr $x+1]; exp_continue; }
    259 	-re ".*  96      1010" { set x [expr $x+1]; exp_continue; }
    260 	-re ".*  97 0268 6B381234" { set x [expr $x+1]; exp_continue; }
    261 	-re ".*  97      56781010" { set x [expr $x+1]; exp_continue; }
    262 	-re ".*  98              " {
    263 	    if [expr $x == 36] then {
    264 		pass "$testname: shll.w ..."
    265 	    } else {
    266 		fail "$testname: shll.w ... ($x)"
    267 	    }
    268 	}
    269         default	{ fail "$testname: shll.w ... ($x)" }
    270     }
    271 
    272     set x 0
    273     expect {
    274 	-re ".*  99 0270 1031" { set x [expr $x+1]; exp_continue; }
    275 	-re ".* 100 0272 01046918" { set x [expr $x+1]; exp_continue; }
    276 	-re ".* 100      1030" { set x [expr $x+1]; exp_continue; }
    277 	-re ".* 101 0278 01076918" { set x [expr $x+1]; exp_continue; }
    278 	-re ".* 101      1030" { set x [expr $x+1]; exp_continue; }
    279 	-re ".* 102 027e 01046D18" { set x [expr $x+1]; exp_continue; }
    280 	-re ".* 102      1030" { set x [expr $x+1]; exp_continue; }
    281 	-re ".* 103 0284 01076D18" { set x [expr $x+1]; exp_continue; }
    282 	-re ".* 103      1030" { set x [expr $x+1]; exp_continue; }
    283 	-re ".* 104 028a 01056D18" { set x [expr $x+1]; exp_continue; }
    284 	-re ".* 104      1030" { set x [expr $x+1]; exp_continue; }
    285 	-re ".* 105 0290 01066D18" { set x [expr $x+1]; exp_continue; }
    286 	-re ".* 105      1030" { set x [expr $x+1]; exp_continue; }
    287 	-re ".* 106 0296 01046F18" { set x [expr $x+1]; exp_continue; }
    288 	-re ".* 106      12341030" { set x [expr $x+1]; exp_continue; }
    289 	-re ".* 107 029e 78946B28" { set x [expr $x+1]; exp_continue; }
    290 	-re ".* 107      12345678" { set x [expr $x+1]; exp_continue; }
    291 	-re ".* 107      1030" { set x [expr $x+1]; exp_continue; }
    292 	-re ".* 108 02a8 01056F28" { set x [expr $x+1]; exp_continue; }
    293 	-re ".* 108      12341030" { set x [expr $x+1]; exp_continue; }
    294 	-re ".* 109 02b0 01066F28" { set x [expr $x+1]; exp_continue; }
    295 	-re ".* 109      12341030" { set x [expr $x+1]; exp_continue; }
    296 	-re ".* 110 02b8 01076F28" { set x [expr $x+1]; exp_continue; }
    297 	-re ".* 110      12341030" { set x [expr $x+1]; exp_continue; }
    298 	-re ".* 111 02c0 78A56B28" { set x [expr $x+1]; exp_continue; }
    299 	-re ".* 111      12345678" { set x [expr $x+1]; exp_continue; }
    300 	-re ".* 111      1030" { set x [expr $x+1]; exp_continue; }
    301 	-re ".* 112 02ca 78A66B28" { set x [expr $x+1]; exp_continue; }
    302 	-re ".* 112      12345678" { set x [expr $x+1]; exp_continue; }
    303 	-re ".* 112      1030" { set x [expr $x+1]; exp_continue; }
    304 	-re ".* 113 02d4 78A76B28" { set x [expr $x+1]; exp_continue; }
    305 	-re ".* 113      12345678" { set x [expr $x+1]; exp_continue; }
    306 	-re ".* 113      1030" { set x [expr $x+1]; exp_continue; }
    307 	-re ".* 114 02de 01046B08" { set x [expr $x+1]; exp_continue; }
    308 	-re ".* 114      12341030" { set x [expr $x+1]; exp_continue; }
    309 	-re ".* 115 02e6 01046B28" { set x [expr $x+1]; exp_continue; }
    310 	-re ".* 115      12345678" { set x [expr $x+1]; exp_continue; }
    311 	-re ".* 115      1030" { set x [expr $x+1]; exp_continue; }
    312 	-re ".* 116              " {
    313 	    if [expr $x == 38] then {
    314 		pass "$testname: shll.l ..."
    315 	    } else {
    316 		fail "$testname: shll.l ... ($x)"
    317 	    }
    318 	}
    319         default	{ fail "$testname: shll.l ... ($x)" }
    320     }
    321 
    322     set x 0
    323     expect {
    324 	-re ".* 117 02f0 1041" { set x [expr $x+1]; exp_continue; }
    325 	-re ".* 118 02f2 7D101040" { set x [expr $x+1]; exp_continue; }
    326 	-re ".* 119 02f6 01776818" { set x [expr $x+1]; exp_continue; }
    327 	-re ".* 119      1040" { set x [expr $x+1]; exp_continue; }
    328 	-re ".* 120 02fc 01746C18" { set x [expr $x+1]; exp_continue; }
    329 	-re ".* 120      1040" { set x [expr $x+1]; exp_continue; }
    330 	-re ".* 121 0302 01776C18" { set x [expr $x+1]; exp_continue; }
    331 	-re ".* 121      1040" { set x [expr $x+1]; exp_continue; }
    332 	-re ".* 122 0308 01756C18" { set x [expr $x+1]; exp_continue; }
    333 	-re ".* 122      1040" { set x [expr $x+1]; exp_continue; }
    334 	-re ".* 123 030e 01766C18" { set x [expr $x+1]; exp_continue; }
    335 	-re ".* 123      1040" { set x [expr $x+1]; exp_continue; }
    336 	-re ".* 124 0314 01746E18" { set x [expr $x+1]; exp_continue; }
    337 	-re ".* 124      12341040" { set x [expr $x+1]; exp_continue; }
    338 	-re ".* 125 031c 78146A28" { set x [expr $x+1]; exp_continue; }
    339 	-re ".* 125      12345678" { set x [expr $x+1]; exp_continue; }
    340 	-re ".* 125      1040" { set x [expr $x+1]; exp_continue; }
    341 	-re ".* 126 0326 01756E28" { set x [expr $x+1]; exp_continue; }
    342 	-re ".* 126      12341040" { set x [expr $x+1]; exp_continue; }
    343 	-re ".* 127 032e 01766E28" { set x [expr $x+1]; exp_continue; }
    344 	-re ".* 127      12341040" { set x [expr $x+1]; exp_continue; }
    345 	-re ".* 128 0336 01776E28" { set x [expr $x+1]; exp_continue; }
    346 	-re ".* 128      12341040" { set x [expr $x+1]; exp_continue; }
    347 	-re ".* 129 033e 78256A28" { set x [expr $x+1]; exp_continue; }
    348 	-re ".* 129      12345678" { set x [expr $x+1]; exp_continue; }
    349 	-re ".* 129      1040" { set x [expr $x+1]; exp_continue; }
    350 	-re ".* 130 0348 78266A28" { set x [expr $x+1]; exp_continue; }
    351 	-re ".* 130      12345678" { set x [expr $x+1]; exp_continue; }
    352 	-re ".* 130      1040" { set x [expr $x+1]; exp_continue; }
    353 	-re ".* 131 0352 78276A28" { set x [expr $x+1]; exp_continue; }
    354 	-re ".* 131      12345678" { set x [expr $x+1]; exp_continue; }
    355 	-re ".* 131      1040" { set x [expr $x+1]; exp_continue; }
    356 	-re ".* 132 035c 7F121040" { set x [expr $x+1]; exp_continue; }
    357 	-re ".* 133 0360 6A181234" { set x [expr $x+1]; exp_continue; }
    358 	-re ".* 133      1040" { set x [expr $x+1]; exp_continue; }
    359 	-re ".* 134 0366 6A381234" { set x [expr $x+1]; exp_continue; }
    360 	-re ".* 134      56781040" { set x [expr $x+1]; exp_continue; }
    361 	-re ".* 135              " {
    362 	    if [expr $x == 37] then {
    363 		pass "$testname: shll.b #2, ..."
    364 	    } else {
    365 		fail "$testname: shll.b #2, ... ($x)"
    366 	    }
    367 	}
    368         default	{ fail "$testname: shll.b #2, ... ($x)" }
    369     }
    370 
    371     set x 0
    372     expect {
    373 	-re ".* 136 036e 1051" { set x [expr $x+1]; exp_continue; }
    374 	-re ".* 137 0370 7D901050" { set x [expr $x+1]; exp_continue; }
    375 	-re ".* 138 0374 01576918" { set x [expr $x+1]; exp_continue; }
    376 	-re ".* 138      1050" { set x [expr $x+1]; exp_continue; }
    377 	-re ".* 139 037a 01546D18" { set x [expr $x+1]; exp_continue; }
    378 	-re ".* 139      1050" { set x [expr $x+1]; exp_continue; }
    379 	-re ".* 140 0380 01576D18" { set x [expr $x+1]; exp_continue; }
    380 	-re ".* 140      1050" { set x [expr $x+1]; exp_continue; }
    381 	-re ".* 141 0386 01556D18" { set x [expr $x+1]; exp_continue; }
    382 	-re ".* 141      1050" { set x [expr $x+1]; exp_continue; }
    383 	-re ".* 142 038c 01566D18" { set x [expr $x+1]; exp_continue; }
    384 	-re ".* 142      1050" { set x [expr $x+1]; exp_continue; }
    385 	-re ".* 143 0392 01546F18" { set x [expr $x+1]; exp_continue; }
    386 	-re ".* 143      12341050" { set x [expr $x+1]; exp_continue; }
    387 	-re ".* 144 039a 78146B28" { set x [expr $x+1]; exp_continue; }
    388 	-re ".* 144      12345678" { set x [expr $x+1]; exp_continue; }
    389 	-re ".* 144      1050" { set x [expr $x+1]; exp_continue; }
    390 	-re ".* 145 03a4 01556F28" { set x [expr $x+1]; exp_continue; }
    391 	-re ".* 145      12341050" { set x [expr $x+1]; exp_continue; }
    392 	-re ".* 146 03ac 01566F28" { set x [expr $x+1]; exp_continue; }
    393 	-re ".* 146      12341050" { set x [expr $x+1]; exp_continue; }
    394 	-re ".* 147 03b4 01576F28" { set x [expr $x+1]; exp_continue; }
    395 	-re ".* 147      12341050" { set x [expr $x+1]; exp_continue; }
    396 	-re ".* 148 03bc 78256B28" { set x [expr $x+1]; exp_continue; }
    397 	-re ".* 148      12345678" { set x [expr $x+1]; exp_continue; }
    398 	-re ".* 148      1050" { set x [expr $x+1]; exp_continue; }
    399 	-re ".* 149 03c6 78266B28" { set x [expr $x+1]; exp_continue; }
    400 	-re ".* 149      12345678" { set x [expr $x+1]; exp_continue; }
    401 	-re ".* 149      1050" { set x [expr $x+1]; exp_continue; }
    402 	-re ".* 150 03d0 78276B28" { set x [expr $x+1]; exp_continue; }
    403 	-re ".* 150      12345678" { set x [expr $x+1]; exp_continue; }
    404 	-re ".* 150      1050" { set x [expr $x+1]; exp_continue; }
    405 	-re ".* 151 03da 6B181234" { set x [expr $x+1]; exp_continue; }
    406 	-re ".* 151      1050" { set x [expr $x+1]; exp_continue; }
    407 	-re ".* 152 03e0 6B381234" { set x [expr $x+1]; exp_continue; }
    408 	-re ".* 152      56781050" { set x [expr $x+1]; exp_continue; }
    409 	-re ".* 153              " {
    410 	    if [expr $x == 36] then {
    411 		pass "$testname: shll.w #2, ..."
    412 	    } else {
    413 		fail "$testname: shll.w #2, ... ($x)"
    414 	    }
    415 	}
    416         default	{ fail "$testname: shll.w #2, ... ($x)" }
    417     }
    418 
    419     set x 0
    420     expect {
    421 	-re ".* 154 03e8 1071" { set x [expr $x+1]; exp_continue; }
    422 	-re ".* 155 03ea 01046918" { set x [expr $x+1]; exp_continue; }
    423 	-re ".* 155      1070" { set x [expr $x+1]; exp_continue; }
    424 	-re ".* 156 03f0 01076918" { set x [expr $x+1]; exp_continue; }
    425 	-re ".* 156      1070" { set x [expr $x+1]; exp_continue; }
    426 	-re ".* 157 03f6 01046D18" { set x [expr $x+1]; exp_continue; }
    427 	-re ".* 157      1070" { set x [expr $x+1]; exp_continue; }
    428 	-re ".* 158 03fc 01076D18" { set x [expr $x+1]; exp_continue; }
    429 	-re ".* 158      1070" { set x [expr $x+1]; exp_continue; }
    430 	-re ".* 159 0402 01056D18" { set x [expr $x+1]; exp_continue; }
    431 	-re ".* 159      1070" { set x [expr $x+1]; exp_continue; }
    432 	-re ".* 160 0408 01066D18" { set x [expr $x+1]; exp_continue; }
    433 	-re ".* 160      1070" { set x [expr $x+1]; exp_continue; }
    434 	-re ".* 161 040e 01046F18" { set x [expr $x+1]; exp_continue; }
    435 	-re ".* 161      12341070" { set x [expr $x+1]; exp_continue; }
    436 	-re ".* 162 0416 78946B28" { set x [expr $x+1]; exp_continue; }
    437 	-re ".* 162      12345678" { set x [expr $x+1]; exp_continue; }
    438 	-re ".* 162      1070" { set x [expr $x+1]; exp_continue; }
    439 	-re ".* 163 0420 01056F28" { set x [expr $x+1]; exp_continue; }
    440 	-re ".* 163      12341070" { set x [expr $x+1]; exp_continue; }
    441 	-re ".* 164 0428 01066F28" { set x [expr $x+1]; exp_continue; }
    442 	-re ".* 164      12341070" { set x [expr $x+1]; exp_continue; }
    443 	-re ".* 165 0430 01076F28" { set x [expr $x+1]; exp_continue; }
    444 	-re ".* 165      12341070" { set x [expr $x+1]; exp_continue; }
    445 	-re ".* 166 0438 78A56B28" { set x [expr $x+1]; exp_continue; }
    446 	-re ".* 166      12345678" { set x [expr $x+1]; exp_continue; }
    447 	-re ".* 166      1070" { set x [expr $x+1]; exp_continue; }
    448 	-re ".* 167 0442 78A66B28" { set x [expr $x+1]; exp_continue; }
    449 	-re ".* 167      12345678" { set x [expr $x+1]; exp_continue; }
    450 	-re ".* 167      1070" { set x [expr $x+1]; exp_continue; }
    451 	-re ".* 168 044c 78A76B28" { set x [expr $x+1]; exp_continue; }
    452 	-re ".* 168      12345678" { set x [expr $x+1]; exp_continue; }
    453 	-re ".* 168      1070" { set x [expr $x+1]; exp_continue; }
    454 	-re ".* 169 0456 01046B08" { set x [expr $x+1]; exp_continue; }
    455 	-re ".* 169      12341070" { set x [expr $x+1]; exp_continue; }
    456 	-re ".* 170 045e 01046B28" { set x [expr $x+1]; exp_continue; }
    457 	-re ".* 170      12345678" { set x [expr $x+1]; exp_continue; }
    458 	-re ".* 170      1070" { set x [expr $x+1]; exp_continue; }
    459 	-re ".* 171              " {
    460 	    if [expr $x == 38] then {
    461 		pass "$testname: shll.l #2, ..."
    462 	    } else {
    463 		fail "$testname: shll.l #2, ... ($x)"
    464 	    }
    465 	}
    466         default	{ fail "$testname: shll.l #2, ... ($x)" }
    467     }
    468 
    469     set x 0
    470     expect {
    471 	-re ".* 172 0468 10A1" { set x [expr $x+1]; exp_continue; }
    472 	-re ".* 173 046a 7D1010A0" { set x [expr $x+1]; exp_continue; }
    473 	-re ".* 174 046e 01776818" { set x [expr $x+1]; exp_continue; }
    474 	-re ".* 174      10A0" { set x [expr $x+1]; exp_continue; }
    475 	-re ".* 175 0474 01746C18" { set x [expr $x+1]; exp_continue; }
    476 	-re ".* 175      10A0" { set x [expr $x+1]; exp_continue; }
    477 	-re ".* 176 047a 01776C18" { set x [expr $x+1]; exp_continue; }
    478 	-re ".* 176      10A0" { set x [expr $x+1]; exp_continue; }
    479 	-re ".* 177 0480 01756C18" { set x [expr $x+1]; exp_continue; }
    480 	-re ".* 177      10A0" { set x [expr $x+1]; exp_continue; }
    481 	-re ".* 178 0486 01766C18" { set x [expr $x+1]; exp_continue; }
    482 	-re ".* 178      10A0" { set x [expr $x+1]; exp_continue; }
    483 	-re ".* 179 048c 01746E18" { set x [expr $x+1]; exp_continue; }
    484 	-re ".* 179      123410A0" { set x [expr $x+1]; exp_continue; }
    485 	-re ".* 180 0494 78146A28" { set x [expr $x+1]; exp_continue; }
    486 	-re ".* 180      12345678" { set x [expr $x+1]; exp_continue; }
    487 	-re ".* 180      10A0" { set x [expr $x+1]; exp_continue; }
    488 	-re ".* 181 049e 01756E28" { set x [expr $x+1]; exp_continue; }
    489 	-re ".* 181      123410A0" { set x [expr $x+1]; exp_continue; }
    490 	-re ".* 182 04a6 01766E28" { set x [expr $x+1]; exp_continue; }
    491 	-re ".* 182      123410A0" { set x [expr $x+1]; exp_continue; }
    492 	-re ".* 183 04ae 01776E28" { set x [expr $x+1]; exp_continue; }
    493 	-re ".* 183      123410A0" { set x [expr $x+1]; exp_continue; }
    494 	-re ".* 184 04b6 78256A28" { set x [expr $x+1]; exp_continue; }
    495 	-re ".* 184      12345678" { set x [expr $x+1]; exp_continue; }
    496 	-re ".* 184      10A0" { set x [expr $x+1]; exp_continue; }
    497 	-re ".* 185 04c0 78266A28" { set x [expr $x+1]; exp_continue; }
    498 	-re ".* 185      12345678" { set x [expr $x+1]; exp_continue; }
    499 	-re ".* 185      10A0" { set x [expr $x+1]; exp_continue; }
    500 	-re ".* 186 04ca 78276A28" { set x [expr $x+1]; exp_continue; }
    501 	-re ".* 186      12345678" { set x [expr $x+1]; exp_continue; }
    502 	-re ".* 186      10A0" { set x [expr $x+1]; exp_continue; }
    503 	-re ".* 187 04d4 7F1210A0" { set x [expr $x+1]; exp_continue; }
    504 	-re ".* 188 04d8 6A181234" { set x [expr $x+1]; exp_continue; }
    505 	-re ".* 188      10A0" { set x [expr $x+1]; exp_continue; }
    506 	-re ".* 189 04de 6A381234" { set x [expr $x+1]; exp_continue; }
    507 	-re ".* 189      567810A0" { set x [expr $x+1]; exp_continue; }
    508 	-re ".* 190              " {
    509 	    if [expr $x == 37] then {
    510 		pass "$testname: shll.b #4, ..."
    511 	    } else {
    512 		fail "$testname: shll.b #4, ... ($x)"
    513 	    }
    514 	}
    515         default	{ fail "$testname: shll.b #4, ... ($x)" }
    516     }
    517 
    518     set x 0
    519     expect {
    520 	-re ".* 191 04e6 1021" { set x [expr $x+1]; exp_continue; }
    521 	-re ".* 192 04e8 7D901020" { set x [expr $x+1]; exp_continue; }
    522 	-re ".* 193 04ec 01576918" { set x [expr $x+1]; exp_continue; }
    523 	-re ".* 193      1020" { set x [expr $x+1]; exp_continue; }
    524 	-re ".* 194 04f2 01546D18" { set x [expr $x+1]; exp_continue; }
    525 	-re ".* 194      1020" { set x [expr $x+1]; exp_continue; }
    526 	-re ".* 195 04f8 01576D18" { set x [expr $x+1]; exp_continue; }
    527 	-re ".* 195      1020" { set x [expr $x+1]; exp_continue; }
    528 	-re ".* 196 04fe 01556D18" { set x [expr $x+1]; exp_continue; }
    529 	-re ".* 196      1020" { set x [expr $x+1]; exp_continue; }
    530 	-re ".* 197 0504 01566D18" { set x [expr $x+1]; exp_continue; }
    531 	-re ".* 197      1020" { set x [expr $x+1]; exp_continue; }
    532 	-re ".* 198 050a 01546F18" { set x [expr $x+1]; exp_continue; }
    533 	-re ".* 198      12341020" { set x [expr $x+1]; exp_continue; }
    534 	-re ".* 199 0512 78146B28" { set x [expr $x+1]; exp_continue; }
    535 	-re ".* 199      12345678" { set x [expr $x+1]; exp_continue; }
    536 	-re ".* 199      1020" { set x [expr $x+1]; exp_continue; }
    537 	-re ".* 200 051c 01556F28" { set x [expr $x+1]; exp_continue; }
    538 	-re ".* 200      12341020" { set x [expr $x+1]; exp_continue; }
    539 	-re ".* 201 0524 01566F28" { set x [expr $x+1]; exp_continue; }
    540 	-re ".* 201      12341020" { set x [expr $x+1]; exp_continue; }
    541 	-re ".* 202 052c 01576F28" { set x [expr $x+1]; exp_continue; }
    542 	-re ".* 202      12341020" { set x [expr $x+1]; exp_continue; }
    543 	-re ".* 203 0534 78256B28" { set x [expr $x+1]; exp_continue; }
    544 	-re ".* 203      12345678" { set x [expr $x+1]; exp_continue; }
    545 	-re ".* 203      1020" { set x [expr $x+1]; exp_continue; }
    546 	-re ".* 204 053e 78266B28" { set x [expr $x+1]; exp_continue; }
    547 	-re ".* 204      12345678" { set x [expr $x+1]; exp_continue; }
    548 	-re ".* 204      1020" { set x [expr $x+1]; exp_continue; }
    549 	-re ".* 205 0548 78276B28" { set x [expr $x+1]; exp_continue; }
    550 	-re ".* 205      12345678" { set x [expr $x+1]; exp_continue; }
    551 	-re ".* 205      1020" { set x [expr $x+1]; exp_continue; }
    552 	-re ".* 206 0552 6B181234" { set x [expr $x+1]; exp_continue; }
    553 	-re ".* 206      1020" { set x [expr $x+1]; exp_continue; }
    554 	-re ".* 207 0558 6B381234" { set x [expr $x+1]; exp_continue; }
    555 	-re ".* 207      56781020" { set x [expr $x+1]; exp_continue; }
    556 	-re ".* 208              " {
    557 	    if [expr $x == 36] then {
    558 		pass "$testname: shll.w #4, ..."
    559 	    } else {
    560 		fail "$testname: shll.w #4, ... ($x)"
    561 	    }
    562 	}
    563         default	{ fail "$testname: shll.w #4, ... ($x)" }
    564     }
    565 
    566     set x 0
    567     expect {
    568 	-re ".* 209 0560 1039" { set x [expr $x+1]; exp_continue; }
    569 	-re ".* 210 0562 01046918" { set x [expr $x+1]; exp_continue; }
    570 	-re ".* 210      1038" { set x [expr $x+1]; exp_continue; }
    571 	-re ".* 211 0568 01076918" { set x [expr $x+1]; exp_continue; }
    572 	-re ".* 211      1038" { set x [expr $x+1]; exp_continue; }
    573 	-re ".* 212 056e 01046D18" { set x [expr $x+1]; exp_continue; }
    574 	-re ".* 212      1038" { set x [expr $x+1]; exp_continue; }
    575 	-re ".* 213 0574 01076D18" { set x [expr $x+1]; exp_continue; }
    576 	-re ".* 213      1038" { set x [expr $x+1]; exp_continue; }
    577 	-re ".* 214 057a 01056D18" { set x [expr $x+1]; exp_continue; }
    578 	-re ".* 214      1038" { set x [expr $x+1]; exp_continue; }
    579 	-re ".* 215 0580 01066D18" { set x [expr $x+1]; exp_continue; }
    580 	-re ".* 215      1038" { set x [expr $x+1]; exp_continue; }
    581 	-re ".* 216 0586 01046F18" { set x [expr $x+1]; exp_continue; }
    582 	-re ".* 216      12341038" { set x [expr $x+1]; exp_continue; }
    583 	-re ".* 217 058e 78946B28" { set x [expr $x+1]; exp_continue; }
    584 	-re ".* 217      12345678" { set x [expr $x+1]; exp_continue; }
    585 	-re ".* 217      1038" { set x [expr $x+1]; exp_continue; }
    586 	-re ".* 218 0598 01056F28" { set x [expr $x+1]; exp_continue; }
    587 	-re ".* 218      12341038" { set x [expr $x+1]; exp_continue; }
    588 	-re ".* 219 05a0 01066F28" { set x [expr $x+1]; exp_continue; }
    589 	-re ".* 219      12341038" { set x [expr $x+1]; exp_continue; }
    590 	-re ".* 220 05a8 01076F28" { set x [expr $x+1]; exp_continue; }
    591 	-re ".* 220      12341038" { set x [expr $x+1]; exp_continue; }
    592 	-re ".* 221 05b0 78A56B28" { set x [expr $x+1]; exp_continue; }
    593 	-re ".* 221      12345678" { set x [expr $x+1]; exp_continue; }
    594 	-re ".* 221      1038" { set x [expr $x+1]; exp_continue; }
    595 	-re ".* 222 05ba 78A66B28" { set x [expr $x+1]; exp_continue; }
    596 	-re ".* 222      12345678" { set x [expr $x+1]; exp_continue; }
    597 	-re ".* 222      1038" { set x [expr $x+1]; exp_continue; }
    598 	-re ".* 223 05c4 78A76B28" { set x [expr $x+1]; exp_continue; }
    599 	-re ".* 223      12345678" { set x [expr $x+1]; exp_continue; }
    600 	-re ".* 223      1038" { set x [expr $x+1]; exp_continue; }
    601 	-re ".* 224 05ce 01046B08" { set x [expr $x+1]; exp_continue; }
    602 	-re ".* 224      12341038" { set x [expr $x+1]; exp_continue; }
    603 	-re ".* 225 05d6 01046B28" { set x [expr $x+1]; exp_continue; }
    604 	-re ".* 225      12345678" { set x [expr $x+1]; exp_continue; }
    605 	-re ".* 225      1038" { set x [expr $x+1]; exp_continue; }
    606 	-re ".* 226              " {
    607 	    if [expr $x == 38] then {
    608 		pass "$testname: shll.l #4, ..."
    609 	    } else {
    610 		fail "$testname: shll.l #4, ... ($x)"
    611 	    }
    612 	}
    613         default	{ fail "$testname: shll.l #4, ... ($x)" }
    614     }
    615 
    616     set x 0
    617     expect {
    618 	-re ".* 227 05e0 1061" { set x [expr $x+1]; exp_continue; }
    619 	-re ".* 228 05e2 7D901060" { set x [expr $x+1]; exp_continue; }
    620 	-re ".* 229 05e6 01576918" { set x [expr $x+1]; exp_continue; }
    621 	-re ".* 229      1060" { set x [expr $x+1]; exp_continue; }
    622 	-re ".* 230 05ec 01546D18" { set x [expr $x+1]; exp_continue; }
    623 	-re ".* 230      1060" { set x [expr $x+1]; exp_continue; }
    624 	-re ".* 231 05f2 01576D18" { set x [expr $x+1]; exp_continue; }
    625 	-re ".* 231      1060" { set x [expr $x+1]; exp_continue; }
    626 	-re ".* 232 05f8 01556D18" { set x [expr $x+1]; exp_continue; }
    627 	-re ".* 232      1060" { set x [expr $x+1]; exp_continue; }
    628 	-re ".* 233 05fe 01566D18" { set x [expr $x+1]; exp_continue; }
    629 	-re ".* 233      1060" { set x [expr $x+1]; exp_continue; }
    630 	-re ".* 234 0604 01546F18" { set x [expr $x+1]; exp_continue; }
    631 	-re ".* 234      12341060" { set x [expr $x+1]; exp_continue; }
    632 	-re ".* 235 060c 78146B28" { set x [expr $x+1]; exp_continue; }
    633 	-re ".* 235      12345678" { set x [expr $x+1]; exp_continue; }
    634 	-re ".* 235      1060" { set x [expr $x+1]; exp_continue; }
    635 	-re ".* 236 0616 01556F28" { set x [expr $x+1]; exp_continue; }
    636 	-re ".* 236      12341060" { set x [expr $x+1]; exp_continue; }
    637 	-re ".* 237 061e 01566F28" { set x [expr $x+1]; exp_continue; }
    638 	-re ".* 237      12341060" { set x [expr $x+1]; exp_continue; }
    639 	-re ".* 238 0626 01576F28" { set x [expr $x+1]; exp_continue; }
    640 	-re ".* 238      12341060" { set x [expr $x+1]; exp_continue; }
    641 	-re ".* 239 062e 78256B28" { set x [expr $x+1]; exp_continue; }
    642 	-re ".* 239      12345678" { set x [expr $x+1]; exp_continue; }
    643 	-re ".* 239      1060" { set x [expr $x+1]; exp_continue; }
    644 	-re ".* 240 0638 78266B28" { set x [expr $x+1]; exp_continue; }
    645 	-re ".* 240      12345678" { set x [expr $x+1]; exp_continue; }
    646 	-re ".* 240      1060" { set x [expr $x+1]; exp_continue; }
    647 	-re ".* 241 0642 78276B28" { set x [expr $x+1]; exp_continue; }
    648 	-re ".* 241      12345678" { set x [expr $x+1]; exp_continue; }
    649 	-re ".* 241      1060" { set x [expr $x+1]; exp_continue; }
    650 	-re ".* 242 064c 6B181234" { set x [expr $x+1]; exp_continue; }
    651 	-re ".* 242      1060" { set x [expr $x+1]; exp_continue; }
    652 	-re ".* 243 0652 6B381234" { set x [expr $x+1]; exp_continue; }
    653 	-re ".* 243      56781060" { set x [expr $x+1]; exp_continue; }
    654 	-re ".* 244              " {
    655 	    if [expr $x == 36] then {
    656 		pass "$testname: shll.w #8, ..."
    657 	    } else {
    658 		fail "$testname: shll.w #8, ... ($x)"
    659 	    }
    660 	}
    661         default	{ fail "$testname: shll.w #8, ... ($x)" }
    662     }
    663 
    664     set x 0
    665     expect {
    666 	-re ".* 245 065a 1079" { set x [expr $x+1]; exp_continue; }
    667 	-re ".* 246 065c 01046918" { set x [expr $x+1]; exp_continue; }
    668 	-re ".* 246      1078" { set x [expr $x+1]; exp_continue; }
    669 	-re ".* 247 0662 01076918" { set x [expr $x+1]; exp_continue; }
    670 	-re ".* 247      1078" { set x [expr $x+1]; exp_continue; }
    671 	-re ".* 248 0668 01046D18" { set x [expr $x+1]; exp_continue; }
    672 	-re ".* 248      1078" { set x [expr $x+1]; exp_continue; }
    673 	-re ".* 249 066e 01076D18" { set x [expr $x+1]; exp_continue; }
    674 	-re ".* 249      1078" { set x [expr $x+1]; exp_continue; }
    675 	-re ".* 250 0674 01056D18" { set x [expr $x+1]; exp_continue; }
    676 	-re ".* 250      1078" { set x [expr $x+1]; exp_continue; }
    677 	-re ".* 251 067a 01066D18" { set x [expr $x+1]; exp_continue; }
    678 	-re ".* 251      1078" { set x [expr $x+1]; exp_continue; }
    679 	-re ".* 252 0680 01046F18" { set x [expr $x+1]; exp_continue; }
    680 	-re ".* 252      12341078" { set x [expr $x+1]; exp_continue; }
    681 	-re ".* 253 0688 78946B28" { set x [expr $x+1]; exp_continue; }
    682 	-re ".* 253      12345678" { set x [expr $x+1]; exp_continue; }
    683 	-re ".* 253      1078" { set x [expr $x+1]; exp_continue; }
    684 	-re ".* 254 0692 01056F28" { set x [expr $x+1]; exp_continue; }
    685 	-re ".* 254      12341078" { set x [expr $x+1]; exp_continue; }
    686 	-re ".* 255 069a 01066F28" { set x [expr $x+1]; exp_continue; }
    687 	-re ".* 255      12341078" { set x [expr $x+1]; exp_continue; }
    688 	-re ".* 256 06a2 01076F28" { set x [expr $x+1]; exp_continue; }
    689 	-re ".* 256      12341078" { set x [expr $x+1]; exp_continue; }
    690 	-re ".* 257 06aa 78A56B28" { set x [expr $x+1]; exp_continue; }
    691 	-re ".* 257      12345678" { set x [expr $x+1]; exp_continue; }
    692 	-re ".* 257      1078" { set x [expr $x+1]; exp_continue; }
    693 	-re ".* 258 06b4 78A66B28" { set x [expr $x+1]; exp_continue; }
    694 	-re ".* 258      12345678" { set x [expr $x+1]; exp_continue; }
    695 	-re ".* 258      1078" { set x [expr $x+1]; exp_continue; }
    696 	-re ".* 259 06be 78A76B28" { set x [expr $x+1]; exp_continue; }
    697 	-re ".* 259      12345678" { set x [expr $x+1]; exp_continue; }
    698 	-re ".* 259      1078" { set x [expr $x+1]; exp_continue; }
    699 	-re ".* 260 06c8 01046B08" { set x [expr $x+1]; exp_continue; }
    700 	-re ".* 260      12341078" { set x [expr $x+1]; exp_continue; }
    701 	-re ".* 261 06d0 01046B28" { set x [expr $x+1]; exp_continue; }
    702 	-re ".* 261      12345678" { set x [expr $x+1]; exp_continue; }
    703 	-re ".* 261      1078" { set x [expr $x+1]; exp_continue; }
    704 	-re ".* 262              " {
    705 	    if [expr $x == 38] then {
    706 		pass "$testname: shll.l #8, ..."
    707 	    } else {
    708 		fail "$testname: shll.l #8, ... ($x)"
    709 	    }
    710 	}
    711         default	{ fail "$testname: shll.l #8, ... ($x)" }
    712     }
    713 
    714     set x 0
    715     expect {
    716 	-re ".* 263 06da 10F9" { set x [expr $x+1]; exp_continue; }
    717 	-re ".* 264 06dc 01046918" { set x [expr $x+1]; exp_continue; }
    718 	-re ".* 264      10F8" { set x [expr $x+1]; exp_continue; }
    719 	-re ".* 265 06e2 01076918" { set x [expr $x+1]; exp_continue; }
    720 	-re ".* 265      10F8" { set x [expr $x+1]; exp_continue; }
    721 	-re ".* 266 06e8 01046D18" { set x [expr $x+1]; exp_continue; }
    722 	-re ".* 266      10F8" { set x [expr $x+1]; exp_continue; }
    723 	-re ".* 267 06ee 01076D18" { set x [expr $x+1]; exp_continue; }
    724 	-re ".* 267      10F8" { set x [expr $x+1]; exp_continue; }
    725 	-re ".* 268 06f4 01056D18" { set x [expr $x+1]; exp_continue; }
    726 	-re ".* 268      10F8" { set x [expr $x+1]; exp_continue; }
    727 	-re ".* 269 06fa 01066D18" { set x [expr $x+1]; exp_continue; }
    728 	-re ".* 269      10F8" { set x [expr $x+1]; exp_continue; }
    729 	-re ".* 270 0700 01046F18" { set x [expr $x+1]; exp_continue; }
    730 	-re ".* 270      123410F8" { set x [expr $x+1]; exp_continue; }
    731 	-re ".* 271 0708 78946B28" { set x [expr $x+1]; exp_continue; }
    732 	-re ".* 271      12345678" { set x [expr $x+1]; exp_continue; }
    733 	-re ".* 271      10F8" { set x [expr $x+1]; exp_continue; }
    734 	-re ".* 272 0712 01056F28" { set x [expr $x+1]; exp_continue; }
    735 	-re ".* 272      123410F8" { set x [expr $x+1]; exp_continue; }
    736 	-re ".* 273 071a 01066F28" { set x [expr $x+1]; exp_continue; }
    737 	-re ".* 273      123410F8" { set x [expr $x+1]; exp_continue; }
    738 	-re ".* 274 0722 01076F28" { set x [expr $x+1]; exp_continue; }
    739 	-re ".* 274      123410F8" { set x [expr $x+1]; exp_continue; }
    740 	-re ".* 275 072a 78A56B28" { set x [expr $x+1]; exp_continue; }
    741 	-re ".* 275      12345678" { set x [expr $x+1]; exp_continue; }
    742 	-re ".* 275      10F8" { set x [expr $x+1]; exp_continue; }
    743 	-re ".* 276 0734 78A66B28" { set x [expr $x+1]; exp_continue; }
    744 	-re ".* 276      12345678" { set x [expr $x+1]; exp_continue; }
    745 	-re ".* 276      10F8" { set x [expr $x+1]; exp_continue; }
    746 	-re ".* 277 073e 78A76B28" { set x [expr $x+1]; exp_continue; }
    747 	-re ".* 277      12345678" { set x [expr $x+1]; exp_continue; }
    748 	-re ".* 277      10F8" { set x [expr $x+1]; exp_continue; }
    749 	-re ".* 278 0748 01046B08" { set x [expr $x+1]; exp_continue; }
    750 	-re ".* 278      123410F8" { set x [expr $x+1]; exp_continue; }
    751 	-re ".* 279 0750 01046B28" { set x [expr $x+1]; exp_continue; }
    752 	-re ".* 279      12345678" { set x [expr $x+1]; exp_continue; }
    753 	-re ".* 279      10F8" { set x [expr $x+1]; exp_continue; }
    754 	-re ".* 280              " {
    755 	    if [expr $x == 38] then {
    756 		pass "$testname: shll.l #16, ..."
    757 	    } else {
    758 		fail "$testname: shll.l #16, ... ($x)"
    759 	    }
    760 	}
    761         default	{ fail "$testname: shll.l #16, ... ($x)" }
    762     }
    763 
    764     set x 0
    765     expect {
    766 	-re ".* 281 075a 03871001" { set x [expr $x+1]; exp_continue; }
    767 	-re ".* 282 075e 038F1011" { set x [expr $x+1]; exp_continue; }
    768 	-re ".* 283 0762 039F1031" { set x [expr $x+1]; exp_continue; }
    769 	-re ".* 284              " {
    770 	    if [expr $x == 3] then {
    771 		pass "$testname: shll.? #imm:5, <reg>"
    772 	    } else {
    773 		fail "$testname: shll.? #imm:5, <reg> ($x)"
    774 	    }
    775 	}
    776         default	{ fail "$testname: shll.? #imm:5, <reg> ($x)" }
    777     }
    778 
    779     set x 0
    780     expect {
    781 	-re ".* 285 0766 78381001" { set x [expr $x+1]; exp_continue; }
    782 	-re ".* 286 076a 78381011" { set x [expr $x+1]; exp_continue; }
    783 	-re ".* 287 076e 78381031" { set x [expr $x+1]; exp_continue; }
    784 	-re ".* 288              " {
    785 	    if [expr $x == 3] then {
    786 		pass "$testname: shll.? r3h, <reg>"
    787 	    } else {
    788 		fail "$testname: shll.? r3h, <reg> ($x)"
    789 	    }
    790 	}
    791         default	{ fail "$testname: shll.? r3h, <reg> ($x)" }
    792     }
    793 
    794     set x 0
    795     expect {
    796 	-re ".* 289 0772 1101" { set x [expr $x+1]; exp_continue; }
    797 	-re ".* 290 0774 7D101100" { set x [expr $x+1]; exp_continue; }
    798 	-re ".* 291 0778 01776818" { set x [expr $x+1]; exp_continue; }
    799 	-re ".* 291      1100" { set x [expr $x+1]; exp_continue; }
    800 	-re ".* 292 077e 01746C18" { set x [expr $x+1]; exp_continue; }
    801 	-re ".* 292      1100" { set x [expr $x+1]; exp_continue; }
    802 	-re ".* 293 0784 01776C18" { set x [expr $x+1]; exp_continue; }
    803 	-re ".* 293      1100" { set x [expr $x+1]; exp_continue; }
    804 	-re ".* 294 078a 01756C18" { set x [expr $x+1]; exp_continue; }
    805 	-re ".* 294      1100" { set x [expr $x+1]; exp_continue; }
    806 	-re ".* 295 0790 01766C18" { set x [expr $x+1]; exp_continue; }
    807 	-re ".* 295      1100" { set x [expr $x+1]; exp_continue; }
    808 	-re ".* 296 0796 01746E18" { set x [expr $x+1]; exp_continue; }
    809 	-re ".* 296      12341100" { set x [expr $x+1]; exp_continue; }
    810 	-re ".* 297 079e 78146A28" { set x [expr $x+1]; exp_continue; }
    811 	-re ".* 297      12345678" { set x [expr $x+1]; exp_continue; }
    812 	-re ".* 297      1100" { set x [expr $x+1]; exp_continue; }
    813 	-re ".* 298 07a8 01756E28" { set x [expr $x+1]; exp_continue; }
    814 	-re ".* 298      12341100" { set x [expr $x+1]; exp_continue; }
    815 	-re ".* 299 07b0 01766E28" { set x [expr $x+1]; exp_continue; }
    816 	-re ".* 299      12341100" { set x [expr $x+1]; exp_continue; }
    817 	-re ".* 300 07b8 01776E28" { set x [expr $x+1]; exp_continue; }
    818 	-re ".* 300      12341100" { set x [expr $x+1]; exp_continue; }
    819 	-re ".* 301 07c0 78256A28" { set x [expr $x+1]; exp_continue; }
    820 	-re ".* 301      12345678" { set x [expr $x+1]; exp_continue; }
    821 	-re ".* 301      1100" { set x [expr $x+1]; exp_continue; }
    822 	-re ".* 302 07ca 78266A28" { set x [expr $x+1]; exp_continue; }
    823 	-re ".* 302      12345678" { set x [expr $x+1]; exp_continue; }
    824 	-re ".* 302      1100" { set x [expr $x+1]; exp_continue; }
    825 	-re ".* 303 07d4 78276A28" { set x [expr $x+1]; exp_continue; }
    826 	-re ".* 303      12345678" { set x [expr $x+1]; exp_continue; }
    827 	-re ".* 303      1100" { set x [expr $x+1]; exp_continue; }
    828 	-re ".* 304 07de 7F121100" { set x [expr $x+1]; exp_continue; }
    829 	-re ".* 305 07e2 6A181234" { set x [expr $x+1]; exp_continue; }
    830 	-re ".* 305      1100" { set x [expr $x+1]; exp_continue; }
    831 	-re ".* 306 07e8 6A381234" { set x [expr $x+1]; exp_continue; }
    832 	-re ".* 306      56781100" { set x [expr $x+1]; exp_continue; }
    833 	-re ".* 307              " {
    834 	    if [expr $x == 37] then {
    835 		pass "$testname: shlr.b ..."
    836 	    } else {
    837 		fail "$testname: shlr.b ... ($x)"
    838 	    }
    839 	}
    840         default	{ fail "$testname: shlr.b ... ($x)" }
    841     }
    842 
    843     set x 0
    844     expect {
    845 	-re ".* 308 07f0 1111" { set x [expr $x+1]; exp_continue; }
    846 	-re ".* 309 07f2 7D901110" { set x [expr $x+1]; exp_continue; }
    847 	-re ".* 310 07f6 01576918" { set x [expr $x+1]; exp_continue; }
    848 	-re ".* 310      1110" { set x [expr $x+1]; exp_continue; }
    849 	-re ".* 311 07fc 01546D18" { set x [expr $x+1]; exp_continue; }
    850 	-re ".* 311      1110" { set x [expr $x+1]; exp_continue; }
    851 	-re ".* 312 0802 01576D18" { set x [expr $x+1]; exp_continue; }
    852 	-re ".* 312      1110" { set x [expr $x+1]; exp_continue; }
    853 	-re ".* 313 0808 01556D18" { set x [expr $x+1]; exp_continue; }
    854 	-re ".* 313      1110" { set x [expr $x+1]; exp_continue; }
    855 	-re ".* 314 080e 01566D18" { set x [expr $x+1]; exp_continue; }
    856 	-re ".* 314      1110" { set x [expr $x+1]; exp_continue; }
    857 	-re ".* 315 0814 01546F18" { set x [expr $x+1]; exp_continue; }
    858 	-re ".* 315      12341110" { set x [expr $x+1]; exp_continue; }
    859 	-re ".* 316 081c 78146B28" { set x [expr $x+1]; exp_continue; }
    860 	-re ".* 316      12345678" { set x [expr $x+1]; exp_continue; }
    861 	-re ".* 316      1110" { set x [expr $x+1]; exp_continue; }
    862 	-re ".* 317 0826 01556F28" { set x [expr $x+1]; exp_continue; }
    863 	-re ".* 317      12341110" { set x [expr $x+1]; exp_continue; }
    864 	-re ".* 318 082e 01566F28" { set x [expr $x+1]; exp_continue; }
    865 	-re ".* 318      12341110" { set x [expr $x+1]; exp_continue; }
    866 	-re ".* 319 0836 01576F28" { set x [expr $x+1]; exp_continue; }
    867 	-re ".* 319      12341110" { set x [expr $x+1]; exp_continue; }
    868 	-re ".* 320 083e 78256B28" { set x [expr $x+1]; exp_continue; }
    869 	-re ".* 320      12345678" { set x [expr $x+1]; exp_continue; }
    870 	-re ".* 320      1110" { set x [expr $x+1]; exp_continue; }
    871 	-re ".* 321 0848 78266B28" { set x [expr $x+1]; exp_continue; }
    872 	-re ".* 321      12345678" { set x [expr $x+1]; exp_continue; }
    873 	-re ".* 321      1110" { set x [expr $x+1]; exp_continue; }
    874 	-re ".* 322 0852 78276B28" { set x [expr $x+1]; exp_continue; }
    875 	-re ".* 322      12345678" { set x [expr $x+1]; exp_continue; }
    876 	-re ".* 322      1110" { set x [expr $x+1]; exp_continue; }
    877 	-re ".* 323 085c 6B181234" { set x [expr $x+1]; exp_continue; }
    878 	-re ".* 323      1110" { set x [expr $x+1]; exp_continue; }
    879 	-re ".* 324 0862 6B381234" { set x [expr $x+1]; exp_continue; }
    880 	-re ".* 324      56781110" { set x [expr $x+1]; exp_continue; }
    881 	-re ".* 325              " {
    882 	    if [expr $x == 36] then {
    883 		pass "$testname: shlr.w ..."
    884 	    } else {
    885 		fail "$testname: shlr.w ... ($x)"
    886 	    }
    887 	}
    888         default	{ fail "$testname: shlr.w ... ($x)" }
    889     }
    890 
    891     set x 0
    892     expect {
    893 	-re ".* 326 086a 1131" { set x [expr $x+1]; exp_continue; }
    894 	-re ".* 327 086c 01046918" { set x [expr $x+1]; exp_continue; }
    895 	-re ".* 327      1130" { set x [expr $x+1]; exp_continue; }
    896 	-re ".* 328 0872 01076918" { set x [expr $x+1]; exp_continue; }
    897 	-re ".* 328      1130" { set x [expr $x+1]; exp_continue; }
    898 	-re ".* 329 0878 01046D18" { set x [expr $x+1]; exp_continue; }
    899 	-re ".* 329      1130" { set x [expr $x+1]; exp_continue; }
    900 	-re ".* 330 087e 01076D18" { set x [expr $x+1]; exp_continue; }
    901 	-re ".* 330      1130" { set x [expr $x+1]; exp_continue; }
    902 	-re ".* 331 0884 01056D18" { set x [expr $x+1]; exp_continue; }
    903 	-re ".* 331      1130" { set x [expr $x+1]; exp_continue; }
    904 	-re ".* 332 088a 01066D18" { set x [expr $x+1]; exp_continue; }
    905 	-re ".* 332      1130" { set x [expr $x+1]; exp_continue; }
    906 	-re ".* 333 0890 01046F18" { set x [expr $x+1]; exp_continue; }
    907 	-re ".* 333      12341130" { set x [expr $x+1]; exp_continue; }
    908 	-re ".* 334 0898 78946B28" { set x [expr $x+1]; exp_continue; }
    909 	-re ".* 334      12345678" { set x [expr $x+1]; exp_continue; }
    910 	-re ".* 334      1130" { set x [expr $x+1]; exp_continue; }
    911 	-re ".* 335 08a2 01056F28" { set x [expr $x+1]; exp_continue; }
    912 	-re ".* 335      12341130" { set x [expr $x+1]; exp_continue; }
    913 	-re ".* 336 08aa 01066F28" { set x [expr $x+1]; exp_continue; }
    914 	-re ".* 336      12341130" { set x [expr $x+1]; exp_continue; }
    915 	-re ".* 337 08b2 01076F28" { set x [expr $x+1]; exp_continue; }
    916 	-re ".* 337      12341130" { set x [expr $x+1]; exp_continue; }
    917 	-re ".* 338 08ba 78A56B28" { set x [expr $x+1]; exp_continue; }
    918 	-re ".* 338      12345678" { set x [expr $x+1]; exp_continue; }
    919 	-re ".* 338      1130" { set x [expr $x+1]; exp_continue; }
    920 	-re ".* 339 08c4 78A66B28" { set x [expr $x+1]; exp_continue; }
    921 	-re ".* 339      12345678" { set x [expr $x+1]; exp_continue; }
    922 	-re ".* 339      1130" { set x [expr $x+1]; exp_continue; }
    923 	-re ".* 340 08ce 78A76B28" { set x [expr $x+1]; exp_continue; }
    924 	-re ".* 340      12345678" { set x [expr $x+1]; exp_continue; }
    925 	-re ".* 340      1130" { set x [expr $x+1]; exp_continue; }
    926 	-re ".* 341 08d8 01046B08" { set x [expr $x+1]; exp_continue; }
    927 	-re ".* 341      12341130" { set x [expr $x+1]; exp_continue; }
    928 	-re ".* 342 08e0 01046B28" { set x [expr $x+1]; exp_continue; }
    929 	-re ".* 342      12345678" { set x [expr $x+1]; exp_continue; }
    930 	-re ".* 342      1130" { set x [expr $x+1]; exp_continue; }
    931 	-re ".* 343              " {
    932 	    if [expr $x == 38] then {
    933 		pass "$testname: shlr.l ..."
    934 	    } else {
    935 		fail "$testname: shlr.l ... ($x)"
    936 	    }
    937 	}
    938         default	{ fail "$testname: shlr.l ... ($x)" }
    939     }
    940 
    941     set x 0
    942     expect {
    943 	-re ".* 344 08ea 1141" { set x [expr $x+1]; exp_continue; }
    944 	-re ".* 345 08ec 7D101140" { set x [expr $x+1]; exp_continue; }
    945 	-re ".* 346 08f0 01776818" { set x [expr $x+1]; exp_continue; }
    946 	-re ".* 346      1140" { set x [expr $x+1]; exp_continue; }
    947 	-re ".* 347 08f6 01746C18" { set x [expr $x+1]; exp_continue; }
    948 	-re ".* 347      1140" { set x [expr $x+1]; exp_continue; }
    949 	-re ".* 348 08fc 01776C18" { set x [expr $x+1]; exp_continue; }
    950 	-re ".* 348      1140" { set x [expr $x+1]; exp_continue; }
    951 	-re ".* 349 0902 01756C18" { set x [expr $x+1]; exp_continue; }
    952 	-re ".* 349      1140" { set x [expr $x+1]; exp_continue; }
    953 	-re ".* 350 0908 01766C18" { set x [expr $x+1]; exp_continue; }
    954 	-re ".* 350      1140" { set x [expr $x+1]; exp_continue; }
    955 	-re ".* 351 090e 01746E18" { set x [expr $x+1]; exp_continue; }
    956 	-re ".* 351      12341140" { set x [expr $x+1]; exp_continue; }
    957 	-re ".* 352 0916 78146A28" { set x [expr $x+1]; exp_continue; }
    958 	-re ".* 352      12345678" { set x [expr $x+1]; exp_continue; }
    959 	-re ".* 352      1140" { set x [expr $x+1]; exp_continue; }
    960 	-re ".* 353 0920 01756E28" { set x [expr $x+1]; exp_continue; }
    961 	-re ".* 353      12341140" { set x [expr $x+1]; exp_continue; }
    962 	-re ".* 354 0928 01766E28" { set x [expr $x+1]; exp_continue; }
    963 	-re ".* 354      12341140" { set x [expr $x+1]; exp_continue; }
    964 	-re ".* 355 0930 01776E28" { set x [expr $x+1]; exp_continue; }
    965 	-re ".* 355      12341140" { set x [expr $x+1]; exp_continue; }
    966 	-re ".* 356 0938 78256A28" { set x [expr $x+1]; exp_continue; }
    967 	-re ".* 356      12345678" { set x [expr $x+1]; exp_continue; }
    968 	-re ".* 356      1140" { set x [expr $x+1]; exp_continue; }
    969 	-re ".* 357 0942 78266A28" { set x [expr $x+1]; exp_continue; }
    970 	-re ".* 357      12345678" { set x [expr $x+1]; exp_continue; }
    971 	-re ".* 357      1140" { set x [expr $x+1]; exp_continue; }
    972 	-re ".* 358 094c 78276A28" { set x [expr $x+1]; exp_continue; }
    973 	-re ".* 358      12345678" { set x [expr $x+1]; exp_continue; }
    974 	-re ".* 358      1140" { set x [expr $x+1]; exp_continue; }
    975 	-re ".* 359 0956 7F121140" { set x [expr $x+1]; exp_continue; }
    976 	-re ".* 360 095a 6A181234" { set x [expr $x+1]; exp_continue; }
    977 	-re ".* 360      1140" { set x [expr $x+1]; exp_continue; }
    978 	-re ".* 361 0960 6A381234" { set x [expr $x+1]; exp_continue; }
    979 	-re ".* 361      56781140" { set x [expr $x+1]; exp_continue; }
    980 	-re ".* 362              " {
    981 	    if [expr $x == 37] then {
    982 		pass "$testname: shlr.b #2, ..."
    983 	    } else {
    984 		fail "$testname: shlr.b #2, ... ($x)"
    985 	    }
    986 	}
    987         default	{ fail "$testname: shlr.b #2, ... ($x)" }
    988     }
    989 
    990     set x 0
    991     expect {
    992 	-re ".* 363 0968 1151" { set x [expr $x+1]; exp_continue; }
    993 	-re ".* 364 096a 7D901150" { set x [expr $x+1]; exp_continue; }
    994 	-re ".* 365 096e 01576918" { set x [expr $x+1]; exp_continue; }
    995 	-re ".* 365      1150" { set x [expr $x+1]; exp_continue; }
    996 	-re ".* 366 0974 01546D18" { set x [expr $x+1]; exp_continue; }
    997 	-re ".* 366      1150" { set x [expr $x+1]; exp_continue; }
    998 	-re ".* 367 097a 01576D18" { set x [expr $x+1]; exp_continue; }
    999 	-re ".* 367      1150" { set x [expr $x+1]; exp_continue; }
   1000 	-re ".* 368 0980 01556D18" { set x [expr $x+1]; exp_continue; }
   1001 	-re ".* 368      1150" { set x [expr $x+1]; exp_continue; }
   1002 	-re ".* 369 0986 01566D18" { set x [expr $x+1]; exp_continue; }
   1003 	-re ".* 369      1150" { set x [expr $x+1]; exp_continue; }
   1004 	-re ".* 370 098c 01546F18" { set x [expr $x+1]; exp_continue; }
   1005 	-re ".* 370      12341150" { set x [expr $x+1]; exp_continue; }
   1006 	-re ".* 371 0994 78146B28" { set x [expr $x+1]; exp_continue; }
   1007 	-re ".* 371      12345678" { set x [expr $x+1]; exp_continue; }
   1008 	-re ".* 371      1150" { set x [expr $x+1]; exp_continue; }
   1009 	-re ".* 372 099e 01556F28" { set x [expr $x+1]; exp_continue; }
   1010 	-re ".* 372      12341150" { set x [expr $x+1]; exp_continue; }
   1011 	-re ".* 373 09a6 01566F28" { set x [expr $x+1]; exp_continue; }
   1012 	-re ".* 373      12341150" { set x [expr $x+1]; exp_continue; }
   1013 	-re ".* 374 09ae 01576F28" { set x [expr $x+1]; exp_continue; }
   1014 	-re ".* 374      12341150" { set x [expr $x+1]; exp_continue; }
   1015 	-re ".* 375 09b6 78256B28" { set x [expr $x+1]; exp_continue; }
   1016 	-re ".* 375      12345678" { set x [expr $x+1]; exp_continue; }
   1017 	-re ".* 375      1150" { set x [expr $x+1]; exp_continue; }
   1018 	-re ".* 376 09c0 78266B28" { set x [expr $x+1]; exp_continue; }
   1019 	-re ".* 376      12345678" { set x [expr $x+1]; exp_continue; }
   1020 	-re ".* 376      1150" { set x [expr $x+1]; exp_continue; }
   1021 	-re ".* 377 09ca 78276B28" { set x [expr $x+1]; exp_continue; }
   1022 	-re ".* 377      12345678" { set x [expr $x+1]; exp_continue; }
   1023 	-re ".* 377      1150" { set x [expr $x+1]; exp_continue; }
   1024 	-re ".* 378 09d4 6B181234" { set x [expr $x+1]; exp_continue; }
   1025 	-re ".* 378      1150" { set x [expr $x+1]; exp_continue; }
   1026 	-re ".* 379 09da 6B381234" { set x [expr $x+1]; exp_continue; }
   1027 	-re ".* 379      56781150" { set x [expr $x+1]; exp_continue; }
   1028 	-re ".* 380              " {
   1029 	    if [expr $x == 36] then {
   1030 		pass "$testname: shlr.w #2, ..."
   1031 	    } else {
   1032 		fail "$testname: shlr.w #2, ... ($x)"
   1033 	    }
   1034 	}
   1035         default	{ fail "$testname: shlr.w #2, ... ($x)" }
   1036     }
   1037 
   1038     set x 0
   1039     expect {
   1040 	-re ".* 381 09e2 1171" { set x [expr $x+1]; exp_continue; }
   1041 	-re ".* 382 09e4 01046918" { set x [expr $x+1]; exp_continue; }
   1042 	-re ".* 382      1170" { set x [expr $x+1]; exp_continue; }
   1043 	-re ".* 383 09ea 01076918" { set x [expr $x+1]; exp_continue; }
   1044 	-re ".* 383      1170" { set x [expr $x+1]; exp_continue; }
   1045 	-re ".* 384 09f0 01046D18" { set x [expr $x+1]; exp_continue; }
   1046 	-re ".* 384      1170" { set x [expr $x+1]; exp_continue; }
   1047 	-re ".* 385 09f6 01076D18" { set x [expr $x+1]; exp_continue; }
   1048 	-re ".* 385      1170" { set x [expr $x+1]; exp_continue; }
   1049 	-re ".* 386 09fc 01056D18" { set x [expr $x+1]; exp_continue; }
   1050 	-re ".* 386      1170" { set x [expr $x+1]; exp_continue; }
   1051 	-re ".* 387 0a02 01066D18" { set x [expr $x+1]; exp_continue; }
   1052 	-re ".* 387      1170" { set x [expr $x+1]; exp_continue; }
   1053 	-re ".* 388 0a08 01046F18" { set x [expr $x+1]; exp_continue; }
   1054 	-re ".* 388      12341170" { set x [expr $x+1]; exp_continue; }
   1055 	-re ".* 389 0a10 78946B28" { set x [expr $x+1]; exp_continue; }
   1056 	-re ".* 389      12345678" { set x [expr $x+1]; exp_continue; }
   1057 	-re ".* 389      1170" { set x [expr $x+1]; exp_continue; }
   1058 	-re ".* 390 0a1a 01056F28" { set x [expr $x+1]; exp_continue; }
   1059 	-re ".* 390      12341170" { set x [expr $x+1]; exp_continue; }
   1060 	-re ".* 391 0a22 01066F28" { set x [expr $x+1]; exp_continue; }
   1061 	-re ".* 391      12341170" { set x [expr $x+1]; exp_continue; }
   1062 	-re ".* 392 0a2a 01076F28" { set x [expr $x+1]; exp_continue; }
   1063 	-re ".* 392      12341170" { set x [expr $x+1]; exp_continue; }
   1064 	-re ".* 393 0a32 78A56B28" { set x [expr $x+1]; exp_continue; }
   1065 	-re ".* 393      12345678" { set x [expr $x+1]; exp_continue; }
   1066 	-re ".* 393      1170" { set x [expr $x+1]; exp_continue; }
   1067 	-re ".* 394 0a3c 78A66B28" { set x [expr $x+1]; exp_continue; }
   1068 	-re ".* 394      12345678" { set x [expr $x+1]; exp_continue; }
   1069 	-re ".* 394      1170" { set x [expr $x+1]; exp_continue; }
   1070 	-re ".* 395 0a46 78A76B28" { set x [expr $x+1]; exp_continue; }
   1071 	-re ".* 395      12345678" { set x [expr $x+1]; exp_continue; }
   1072 	-re ".* 395      1170" { set x [expr $x+1]; exp_continue; }
   1073 	-re ".* 396 0a50 01046B08" { set x [expr $x+1]; exp_continue; }
   1074 	-re ".* 396      12341170" { set x [expr $x+1]; exp_continue; }
   1075 	-re ".* 397 0a58 01046B28" { set x [expr $x+1]; exp_continue; }
   1076 	-re ".* 397      12345678" { set x [expr $x+1]; exp_continue; }
   1077 	-re ".* 397      1170" { set x [expr $x+1]; exp_continue; }
   1078 	-re ".* 398              " {
   1079 	    if [expr $x == 38] then {
   1080 		pass "$testname: shlr.l #2, ..."
   1081 	    } else {
   1082 		fail "$testname: shlr.l #2, ... ($x)"
   1083 	    }
   1084 	}
   1085         default	{ fail "$testname: shlr.l #2, ... ($x)" }
   1086     }
   1087 
   1088     set x 0
   1089     expect {
   1090 	-re ".* 399 0a62 11A1" { set x [expr $x+1]; exp_continue; }
   1091 	-re ".* 400 0a64 7D1011A0" { set x [expr $x+1]; exp_continue; }
   1092 	-re ".* 401 0a68 01776818" { set x [expr $x+1]; exp_continue; }
   1093 	-re ".* 401      11A0" { set x [expr $x+1]; exp_continue; }
   1094 	-re ".* 402 0a6e 01746C18" { set x [expr $x+1]; exp_continue; }
   1095 	-re ".* 402      11A0" { set x [expr $x+1]; exp_continue; }
   1096 	-re ".* 403 0a74 01776C18" { set x [expr $x+1]; exp_continue; }
   1097 	-re ".* 403      11A0" { set x [expr $x+1]; exp_continue; }
   1098 	-re ".* 404 0a7a 01756C18" { set x [expr $x+1]; exp_continue; }
   1099 	-re ".* 404      11A0" { set x [expr $x+1]; exp_continue; }
   1100 	-re ".* 405 0a80 01766C18" { set x [expr $x+1]; exp_continue; }
   1101 	-re ".* 405      11A0" { set x [expr $x+1]; exp_continue; }
   1102 	-re ".* 406 0a86 01746E18" { set x [expr $x+1]; exp_continue; }
   1103 	-re ".* 406      123411A0" { set x [expr $x+1]; exp_continue; }
   1104 	-re ".* 407 0a8e 78146A28" { set x [expr $x+1]; exp_continue; }
   1105 	-re ".* 407      12345678" { set x [expr $x+1]; exp_continue; }
   1106 	-re ".* 407      11A0" { set x [expr $x+1]; exp_continue; }
   1107 	-re ".* 408 0a98 01756E28" { set x [expr $x+1]; exp_continue; }
   1108 	-re ".* 408      123411A0" { set x [expr $x+1]; exp_continue; }
   1109 	-re ".* 409 0aa0 01766E28" { set x [expr $x+1]; exp_continue; }
   1110 	-re ".* 409      123411A0" { set x [expr $x+1]; exp_continue; }
   1111 	-re ".* 410 0aa8 01776E28" { set x [expr $x+1]; exp_continue; }
   1112 	-re ".* 410      123411A0" { set x [expr $x+1]; exp_continue; }
   1113 	-re ".* 411 0ab0 78256A28" { set x [expr $x+1]; exp_continue; }
   1114 	-re ".* 411      12345678" { set x [expr $x+1]; exp_continue; }
   1115 	-re ".* 411      11A0" { set x [expr $x+1]; exp_continue; }
   1116 	-re ".* 412 0aba 78266A28" { set x [expr $x+1]; exp_continue; }
   1117 	-re ".* 412      12345678" { set x [expr $x+1]; exp_continue; }
   1118 	-re ".* 412      11A0" { set x [expr $x+1]; exp_continue; }
   1119 	-re ".* 413 0ac4 78276A28" { set x [expr $x+1]; exp_continue; }
   1120 	-re ".* 413      12345678" { set x [expr $x+1]; exp_continue; }
   1121 	-re ".* 413      11A0" { set x [expr $x+1]; exp_continue; }
   1122 	-re ".* 414 0ace 7F1211A0" { set x [expr $x+1]; exp_continue; }
   1123 	-re ".* 415 0ad2 6A181234" { set x [expr $x+1]; exp_continue; }
   1124 	-re ".* 415      11A0" { set x [expr $x+1]; exp_continue; }
   1125 	-re ".* 416 0ad8 6A381234" { set x [expr $x+1]; exp_continue; }
   1126 	-re ".* 416      567811A0" { set x [expr $x+1]; exp_continue; }
   1127 	-re ".* 417              " {
   1128 	    if [expr $x == 37] then {
   1129 		pass "$testname: shlr.b #4, ..."
   1130 	    } else {
   1131 		fail "$testname: shlr.b #4, ... ($x)"
   1132 	    }
   1133 	}
   1134         default	{ fail "$testname: shlr.b #4, ... ($x)" }
   1135     }
   1136 
   1137     set x 0
   1138     expect {
   1139 	-re ".* 418 0ae0 1121" { set x [expr $x+1]; exp_continue; }
   1140 	-re ".* 419 0ae2 7D901120" { set x [expr $x+1]; exp_continue; }
   1141 	-re ".* 420 0ae6 01576918" { set x [expr $x+1]; exp_continue; }
   1142 	-re ".* 420      1120" { set x [expr $x+1]; exp_continue; }
   1143 	-re ".* 421 0aec 01546D18" { set x [expr $x+1]; exp_continue; }
   1144 	-re ".* 421      1120" { set x [expr $x+1]; exp_continue; }
   1145 	-re ".* 422 0af2 01576D18" { set x [expr $x+1]; exp_continue; }
   1146 	-re ".* 422      1120" { set x [expr $x+1]; exp_continue; }
   1147 	-re ".* 423 0af8 01556D18" { set x [expr $x+1]; exp_continue; }
   1148 	-re ".* 423      1120" { set x [expr $x+1]; exp_continue; }
   1149 	-re ".* 424 0afe 01566D18" { set x [expr $x+1]; exp_continue; }
   1150 	-re ".* 424      1120" { set x [expr $x+1]; exp_continue; }
   1151 	-re ".* 425 0b04 01546F18" { set x [expr $x+1]; exp_continue; }
   1152 	-re ".* 425      12341120" { set x [expr $x+1]; exp_continue; }
   1153 	-re ".* 426 0b0c 78146B28" { set x [expr $x+1]; exp_continue; }
   1154 	-re ".* 426      12345678" { set x [expr $x+1]; exp_continue; }
   1155 	-re ".* 426      1120" { set x [expr $x+1]; exp_continue; }
   1156 	-re ".* 427 0b16 01556F28" { set x [expr $x+1]; exp_continue; }
   1157 	-re ".* 427      12341120" { set x [expr $x+1]; exp_continue; }
   1158 	-re ".* 428 0b1e 01566F28" { set x [expr $x+1]; exp_continue; }
   1159 	-re ".* 428      12341120" { set x [expr $x+1]; exp_continue; }
   1160 	-re ".* 429 0b26 01576F28" { set x [expr $x+1]; exp_continue; }
   1161 	-re ".* 429      12341120" { set x [expr $x+1]; exp_continue; }
   1162 	-re ".* 430 0b2e 78256B28" { set x [expr $x+1]; exp_continue; }
   1163 	-re ".* 430      12345678" { set x [expr $x+1]; exp_continue; }
   1164 	-re ".* 430      1120" { set x [expr $x+1]; exp_continue; }
   1165 	-re ".* 431 0b38 78266B28" { set x [expr $x+1]; exp_continue; }
   1166 	-re ".* 431      12345678" { set x [expr $x+1]; exp_continue; }
   1167 	-re ".* 431      1120" { set x [expr $x+1]; exp_continue; }
   1168 	-re ".* 432 0b42 78276B28" { set x [expr $x+1]; exp_continue; }
   1169 	-re ".* 432      12345678" { set x [expr $x+1]; exp_continue; }
   1170 	-re ".* 432      1120" { set x [expr $x+1]; exp_continue; }
   1171 	-re ".* 433 0b4c 6B181234" { set x [expr $x+1]; exp_continue; }
   1172 	-re ".* 433      1120" { set x [expr $x+1]; exp_continue; }
   1173 	-re ".* 434 0b52 6B381234" { set x [expr $x+1]; exp_continue; }
   1174 	-re ".* 434      56781120" { set x [expr $x+1]; exp_continue; }
   1175 	-re ".* 435              " {
   1176 	    if [expr $x == 36] then {
   1177 		pass "$testname: shlr.w #4, ..."
   1178 	    } else {
   1179 		fail "$testname: shlr.w #4, ... ($x)"
   1180 	    }
   1181 	}
   1182         default	{ fail "$testname: shlr.w #4, ... ($x)" }
   1183     }
   1184 
   1185     set x 0
   1186     expect {
   1187 	-re ".* 436 0b5a 1139" { set x [expr $x+1]; exp_continue; }
   1188 	-re ".* 437 0b5c 01046918" { set x [expr $x+1]; exp_continue; }
   1189 	-re ".* 437      1138" { set x [expr $x+1]; exp_continue; }
   1190 	-re ".* 438 0b62 01076918" { set x [expr $x+1]; exp_continue; }
   1191 	-re ".* 438      1138" { set x [expr $x+1]; exp_continue; }
   1192 	-re ".* 439 0b68 01046D18" { set x [expr $x+1]; exp_continue; }
   1193 	-re ".* 439      1138" { set x [expr $x+1]; exp_continue; }
   1194 	-re ".* 440 0b6e 01076D18" { set x [expr $x+1]; exp_continue; }
   1195 	-re ".* 440      1138" { set x [expr $x+1]; exp_continue; }
   1196 	-re ".* 441 0b74 01056D18" { set x [expr $x+1]; exp_continue; }
   1197 	-re ".* 441      1138" { set x [expr $x+1]; exp_continue; }
   1198 	-re ".* 442 0b7a 01066D18" { set x [expr $x+1]; exp_continue; }
   1199 	-re ".* 442      1138" { set x [expr $x+1]; exp_continue; }
   1200 	-re ".* 443 0b80 01046F18" { set x [expr $x+1]; exp_continue; }
   1201 	-re ".* 443      12341138" { set x [expr $x+1]; exp_continue; }
   1202 	-re ".* 444 0b88 78946B28" { set x [expr $x+1]; exp_continue; }
   1203 	-re ".* 444      12345678" { set x [expr $x+1]; exp_continue; }
   1204 	-re ".* 444      1138" { set x [expr $x+1]; exp_continue; }
   1205 	-re ".* 445 0b92 01056F28" { set x [expr $x+1]; exp_continue; }
   1206 	-re ".* 445      12341138" { set x [expr $x+1]; exp_continue; }
   1207 	-re ".* 446 0b9a 01066F28" { set x [expr $x+1]; exp_continue; }
   1208 	-re ".* 446      12341138" { set x [expr $x+1]; exp_continue; }
   1209 	-re ".* 447 0ba2 01076F28" { set x [expr $x+1]; exp_continue; }
   1210 	-re ".* 447      12341138" { set x [expr $x+1]; exp_continue; }
   1211 	-re ".* 448 0baa 78A56B28" { set x [expr $x+1]; exp_continue; }
   1212 	-re ".* 448      12345678" { set x [expr $x+1]; exp_continue; }
   1213 	-re ".* 448      1138" { set x [expr $x+1]; exp_continue; }
   1214 	-re ".* 449 0bb4 78A66B28" { set x [expr $x+1]; exp_continue; }
   1215 	-re ".* 449      12345678" { set x [expr $x+1]; exp_continue; }
   1216 	-re ".* 449      1138" { set x [expr $x+1]; exp_continue; }
   1217 	-re ".* 450 0bbe 78A76B28" { set x [expr $x+1]; exp_continue; }
   1218 	-re ".* 450      12345678" { set x [expr $x+1]; exp_continue; }
   1219 	-re ".* 450      1138" { set x [expr $x+1]; exp_continue; }
   1220 	-re ".* 451 0bc8 01046B08" { set x [expr $x+1]; exp_continue; }
   1221 	-re ".* 451      12341138" { set x [expr $x+1]; exp_continue; }
   1222 	-re ".* 452 0bd0 01046B28" { set x [expr $x+1]; exp_continue; }
   1223 	-re ".* 452      12345678" { set x [expr $x+1]; exp_continue; }
   1224 	-re ".* 452      1138" { set x [expr $x+1]; exp_continue; }
   1225 	-re ".* 453              " {
   1226 	    if [expr $x == 38] then {
   1227 		pass "$testname: shlr.l #4, ..."
   1228 	    } else {
   1229 		fail "$testname: shlr.l #4, ... ($x)"
   1230 	    }
   1231 	}
   1232         default	{ fail "$testname: shlr.l #4, ... ($x)" }
   1233     }
   1234 
   1235     set x 0
   1236     expect {
   1237 	-re ".* 454 0bda 1161" { set x [expr $x+1]; exp_continue; }
   1238 	-re ".* 455 0bdc 7D901160" { set x [expr $x+1]; exp_continue; }
   1239 	-re ".* 456 0be0 01576918" { set x [expr $x+1]; exp_continue; }
   1240 	-re ".* 456      1160" { set x [expr $x+1]; exp_continue; }
   1241 	-re ".* 457 0be6 01546D18" { set x [expr $x+1]; exp_continue; }
   1242 	-re ".* 457      1160" { set x [expr $x+1]; exp_continue; }
   1243 	-re ".* 458 0bec 01576D18" { set x [expr $x+1]; exp_continue; }
   1244 	-re ".* 458      1160" { set x [expr $x+1]; exp_continue; }
   1245 	-re ".* 459 0bf2 01556D18" { set x [expr $x+1]; exp_continue; }
   1246 	-re ".* 459      1160" { set x [expr $x+1]; exp_continue; }
   1247 	-re ".* 460 0bf8 01566D18" { set x [expr $x+1]; exp_continue; }
   1248 	-re ".* 460      1160" { set x [expr $x+1]; exp_continue; }
   1249 	-re ".* 461 0bfe 01546F18" { set x [expr $x+1]; exp_continue; }
   1250 	-re ".* 461      12341160" { set x [expr $x+1]; exp_continue; }
   1251 	-re ".* 462 0c06 78146B28" { set x [expr $x+1]; exp_continue; }
   1252 	-re ".* 462      12345678" { set x [expr $x+1]; exp_continue; }
   1253 	-re ".* 462      1160" { set x [expr $x+1]; exp_continue; }
   1254 	-re ".* 463 0c10 01556F28" { set x [expr $x+1]; exp_continue; }
   1255 	-re ".* 463      12341160" { set x [expr $x+1]; exp_continue; }
   1256 	-re ".* 464 0c18 01566F28" { set x [expr $x+1]; exp_continue; }
   1257 	-re ".* 464      12341160" { set x [expr $x+1]; exp_continue; }
   1258 	-re ".* 465 0c20 01576F28" { set x [expr $x+1]; exp_continue; }
   1259 	-re ".* 465      12341160" { set x [expr $x+1]; exp_continue; }
   1260 	-re ".* 466 0c28 78256B28" { set x [expr $x+1]; exp_continue; }
   1261 	-re ".* 466      12345678" { set x [expr $x+1]; exp_continue; }
   1262 	-re ".* 466      1160" { set x [expr $x+1]; exp_continue; }
   1263 	-re ".* 467 0c32 78266B28" { set x [expr $x+1]; exp_continue; }
   1264 	-re ".* 467      12345678" { set x [expr $x+1]; exp_continue; }
   1265 	-re ".* 467      1160" { set x [expr $x+1]; exp_continue; }
   1266 	-re ".* 468 0c3c 78276B28" { set x [expr $x+1]; exp_continue; }
   1267 	-re ".* 468      12345678" { set x [expr $x+1]; exp_continue; }
   1268 	-re ".* 468      1160" { set x [expr $x+1]; exp_continue; }
   1269 	-re ".* 469 0c46 6B181234" { set x [expr $x+1]; exp_continue; }
   1270 	-re ".* 469      1160" { set x [expr $x+1]; exp_continue; }
   1271 	-re ".* 470 0c4c 6B381234" { set x [expr $x+1]; exp_continue; }
   1272 	-re ".* 470      56781160" { set x [expr $x+1]; exp_continue; }
   1273 	-re ".* 471              " {
   1274 	    if [expr $x == 36] then {
   1275 		pass "$testname: shlr.w #8, ..."
   1276 	    } else {
   1277 		fail "$testname: shlr.w #8, ... ($x)"
   1278 	    }
   1279 	}
   1280         default	{ fail "$testname: shlr.w #8, ... ($x)" }
   1281     }
   1282 
   1283     set x 0
   1284     expect {
   1285 	-re ".* 472 0c54 1179" { set x [expr $x+1]; exp_continue; }
   1286 	-re ".* 473 0c56 01046918" { set x [expr $x+1]; exp_continue; }
   1287 	-re ".* 473      1178" { set x [expr $x+1]; exp_continue; }
   1288 	-re ".* 474 0c5c 01076918" { set x [expr $x+1]; exp_continue; }
   1289 	-re ".* 474      1178" { set x [expr $x+1]; exp_continue; }
   1290 	-re ".* 475 0c62 01046D18" { set x [expr $x+1]; exp_continue; }
   1291 	-re ".* 475      1178" { set x [expr $x+1]; exp_continue; }
   1292 	-re ".* 476 0c68 01076D18" { set x [expr $x+1]; exp_continue; }
   1293 	-re ".* 476      1178" { set x [expr $x+1]; exp_continue; }
   1294 	-re ".* 477 0c6e 01056D18" { set x [expr $x+1]; exp_continue; }
   1295 	-re ".* 477      1178" { set x [expr $x+1]; exp_continue; }
   1296 	-re ".* 478 0c74 01066D18" { set x [expr $x+1]; exp_continue; }
   1297 	-re ".* 478      1178" { set x [expr $x+1]; exp_continue; }
   1298 	-re ".* 479 0c7a 01046F18" { set x [expr $x+1]; exp_continue; }
   1299 	-re ".* 479      12341178" { set x [expr $x+1]; exp_continue; }
   1300 	-re ".* 480 0c82 78946B28" { set x [expr $x+1]; exp_continue; }
   1301 	-re ".* 480      12345678" { set x [expr $x+1]; exp_continue; }
   1302 	-re ".* 480      1178" { set x [expr $x+1]; exp_continue; }
   1303 	-re ".* 481 0c8c 01056F28" { set x [expr $x+1]; exp_continue; }
   1304 	-re ".* 481      12341178" { set x [expr $x+1]; exp_continue; }
   1305 	-re ".* 482 0c94 01066F28" { set x [expr $x+1]; exp_continue; }
   1306 	-re ".* 482      12341178" { set x [expr $x+1]; exp_continue; }
   1307 	-re ".* 483 0c9c 01076F28" { set x [expr $x+1]; exp_continue; }
   1308 	-re ".* 483      12341178" { set x [expr $x+1]; exp_continue; }
   1309 	-re ".* 484 0ca4 78A56B28" { set x [expr $x+1]; exp_continue; }
   1310 	-re ".* 484      12345678" { set x [expr $x+1]; exp_continue; }
   1311 	-re ".* 484      1178" { set x [expr $x+1]; exp_continue; }
   1312 	-re ".* 485 0cae 78A66B28" { set x [expr $x+1]; exp_continue; }
   1313 	-re ".* 485      12345678" { set x [expr $x+1]; exp_continue; }
   1314 	-re ".* 485      1178" { set x [expr $x+1]; exp_continue; }
   1315 	-re ".* 486 0cb8 78A76B28" { set x [expr $x+1]; exp_continue; }
   1316 	-re ".* 486      12345678" { set x [expr $x+1]; exp_continue; }
   1317 	-re ".* 486      1178" { set x [expr $x+1]; exp_continue; }
   1318 	-re ".* 487 0cc2 01046B08" { set x [expr $x+1]; exp_continue; }
   1319 	-re ".* 487      12341178" { set x [expr $x+1]; exp_continue; }
   1320 	-re ".* 488 0cca 01046B28" { set x [expr $x+1]; exp_continue; }
   1321 	-re ".* 488      12345678" { set x [expr $x+1]; exp_continue; }
   1322 	-re ".* 488      1178" { set x [expr $x+1]; exp_continue; }
   1323 	-re ".* 489              " {
   1324 	    if [expr $x == 38] then {
   1325 		pass "$testname: shlr.l #8, ..."
   1326 	    } else {
   1327 		fail "$testname: shlr.l #8, ... ($x)"
   1328 	    }
   1329 	}
   1330         default	{ fail "$testname: shlr.l #8, ... ($x)" }
   1331     }
   1332 
   1333     set x 0
   1334     expect {
   1335 	-re ".* 490 0cd4 11F9" { set x [expr $x+1]; exp_continue; }
   1336 	-re ".* 491 0cd6 01046918" { set x [expr $x+1]; exp_continue; }
   1337 	-re ".* 491      11F8" { set x [expr $x+1]; exp_continue; }
   1338 	-re ".* 492 0cdc 01076918" { set x [expr $x+1]; exp_continue; }
   1339 	-re ".* 492      11F8" { set x [expr $x+1]; exp_continue; }
   1340 	-re ".* 493 0ce2 01046D18" { set x [expr $x+1]; exp_continue; }
   1341 	-re ".* 493      11F8" { set x [expr $x+1]; exp_continue; }
   1342 	-re ".* 494 0ce8 01076D18" { set x [expr $x+1]; exp_continue; }
   1343 	-re ".* 494      11F8" { set x [expr $x+1]; exp_continue; }
   1344 	-re ".* 495 0cee 01056D18" { set x [expr $x+1]; exp_continue; }
   1345 	-re ".* 495      11F8" { set x [expr $x+1]; exp_continue; }
   1346 	-re ".* 496 0cf4 01066D18" { set x [expr $x+1]; exp_continue; }
   1347 	-re ".* 496      11F8" { set x [expr $x+1]; exp_continue; }
   1348 	-re ".* 497 0cfa 01046F18" { set x [expr $x+1]; exp_continue; }
   1349 	-re ".* 497      123411F8" { set x [expr $x+1]; exp_continue; }
   1350 	-re ".* 498 0d02 78946B28" { set x [expr $x+1]; exp_continue; }
   1351 	-re ".* 498      12345678" { set x [expr $x+1]; exp_continue; }
   1352 	-re ".* 498      11F8" { set x [expr $x+1]; exp_continue; }
   1353 	-re ".* 499 0d0c 01056F28" { set x [expr $x+1]; exp_continue; }
   1354 	-re ".* 499      123411F8" { set x [expr $x+1]; exp_continue; }
   1355 	-re ".* 500 0d14 01066F28" { set x [expr $x+1]; exp_continue; }
   1356 	-re ".* 500      123411F8" { set x [expr $x+1]; exp_continue; }
   1357 	-re ".* 501 0d1c 01076F28" { set x [expr $x+1]; exp_continue; }
   1358 	-re ".* 501      123411F8" { set x [expr $x+1]; exp_continue; }
   1359 	-re ".* 502 0d24 78A56B28" { set x [expr $x+1]; exp_continue; }
   1360 	-re ".* 502      12345678" { set x [expr $x+1]; exp_continue; }
   1361 	-re ".* 502      11F8" { set x [expr $x+1]; exp_continue; }
   1362 	-re ".* 503 0d2e 78A66B28" { set x [expr $x+1]; exp_continue; }
   1363 	-re ".* 503      12345678" { set x [expr $x+1]; exp_continue; }
   1364 	-re ".* 503      11F8" { set x [expr $x+1]; exp_continue; }
   1365 	-re ".* 504 0d38 78A76B28" { set x [expr $x+1]; exp_continue; }
   1366 	-re ".* 504      12345678" { set x [expr $x+1]; exp_continue; }
   1367 	-re ".* 504      11F8" { set x [expr $x+1]; exp_continue; }
   1368 	-re ".* 505 0d42 01046B08" { set x [expr $x+1]; exp_continue; }
   1369 	-re ".* 505      123411F8" { set x [expr $x+1]; exp_continue; }
   1370 	-re ".* 506 0d4a 01046B28" { set x [expr $x+1]; exp_continue; }
   1371 	-re ".* 506      12345678" { set x [expr $x+1]; exp_continue; }
   1372 	-re ".* 506      11F8" { set x [expr $x+1]; exp_continue; }
   1373 	-re ".* 507              " {
   1374 	    if [expr $x == 38] then {
   1375 		pass "$testname: shlr.l #16, ..."
   1376 	    } else {
   1377 		fail "$testname: shlr.l #16, ... ($x)"
   1378 	    }
   1379 	}
   1380         default	{ fail "$testname: shlr.l #16, ... ($x)" }
   1381     }
   1382 
   1383     set x 0
   1384     expect {
   1385 	-re ".* 508 0d54 03871101" { set x [expr $x+1]; exp_continue; }
   1386 	-re ".* 509 0d58 038F1111" { set x [expr $x+1]; exp_continue; }
   1387 	-re ".* 510 0d5c 039F1131" { set x [expr $x+1]; exp_continue; }
   1388 	-re ".* 511              " {
   1389 	    if [expr $x == 3] then {
   1390 		pass "$testname: shlr.? #imm:5, <reg>"
   1391 	    } else {
   1392 		fail "$testname: shlr.? #imm:5, <reg> ($x)"
   1393 	    }
   1394 	}
   1395         default	{ fail "$testname: shlr.? #imm:5, <reg> ($x)" }
   1396     }
   1397 
   1398     set x 0
   1399     expect {
   1400 	-re ".* 512 0d60 78381101" { set x [expr $x+1]; exp_continue; }
   1401 	-re ".* 513 0d64 78381111" { set x [expr $x+1]; exp_continue; }
   1402 	-re ".* 514 0d68 78381131" { set x [expr $x+1]; exp_continue; }
   1403 	-re ".* 515              " {
   1404 	    if [expr $x == 3] then {
   1405 		pass "$testname: shlr.? r3h, <reg>"
   1406 	    } else {
   1407 		fail "$testname: shlr.? r3h, <reg> ($x)"
   1408 	    }
   1409 	}
   1410         default	{ fail "$testname: shlr.? r3h, <reg> ($x)" }
   1411     }
   1412 
   1413     set x 0
   1414     expect {
   1415 	-re ".* 516 0d6c 1081" { set x [expr $x+1]; exp_continue; }
   1416 	-re ".* 517 0d6e 7D101080" { set x [expr $x+1]; exp_continue; }
   1417 	-re ".* 518 0d72 01776818" { set x [expr $x+1]; exp_continue; }
   1418 	-re ".* 518      1080" { set x [expr $x+1]; exp_continue; }
   1419 	-re ".* 519 0d78 01746C18" { set x [expr $x+1]; exp_continue; }
   1420 	-re ".* 519      1080" { set x [expr $x+1]; exp_continue; }
   1421 	-re ".* 520 0d7e 01776C18" { set x [expr $x+1]; exp_continue; }
   1422 	-re ".* 520      1080" { set x [expr $x+1]; exp_continue; }
   1423 	-re ".* 521 0d84 01756C18" { set x [expr $x+1]; exp_continue; }
   1424 	-re ".* 521      1080" { set x [expr $x+1]; exp_continue; }
   1425 	-re ".* 522 0d8a 01766C18" { set x [expr $x+1]; exp_continue; }
   1426 	-re ".* 522      1080" { set x [expr $x+1]; exp_continue; }
   1427 	-re ".* 523 0d90 01746E18" { set x [expr $x+1]; exp_continue; }
   1428 	-re ".* 523      12341080" { set x [expr $x+1]; exp_continue; }
   1429 	-re ".* 524 0d98 78146A28" { set x [expr $x+1]; exp_continue; }
   1430 	-re ".* 524      12345678" { set x [expr $x+1]; exp_continue; }
   1431 	-re ".* 524      1080" { set x [expr $x+1]; exp_continue; }
   1432 	-re ".* 525 0da2 01756E28" { set x [expr $x+1]; exp_continue; }
   1433 	-re ".* 525      12341080" { set x [expr $x+1]; exp_continue; }
   1434 	-re ".* 526 0daa 01766E28" { set x [expr $x+1]; exp_continue; }
   1435 	-re ".* 526      12341080" { set x [expr $x+1]; exp_continue; }
   1436 	-re ".* 527 0db2 01776E28" { set x [expr $x+1]; exp_continue; }
   1437 	-re ".* 527      12341080" { set x [expr $x+1]; exp_continue; }
   1438 	-re ".* 528 0dba 78256A28" { set x [expr $x+1]; exp_continue; }
   1439 	-re ".* 528      12345678" { set x [expr $x+1]; exp_continue; }
   1440 	-re ".* 528      1080" { set x [expr $x+1]; exp_continue; }
   1441 	-re ".* 529 0dc4 78266A28" { set x [expr $x+1]; exp_continue; }
   1442 	-re ".* 529      12345678" { set x [expr $x+1]; exp_continue; }
   1443 	-re ".* 529      1080" { set x [expr $x+1]; exp_continue; }
   1444 	-re ".* 530 0dce 78276A28" { set x [expr $x+1]; exp_continue; }
   1445 	-re ".* 530      12345678" { set x [expr $x+1]; exp_continue; }
   1446 	-re ".* 530      1080" { set x [expr $x+1]; exp_continue; }
   1447 	-re ".* 531 0dd8 7F121080" { set x [expr $x+1]; exp_continue; }
   1448 	-re ".* 532 0ddc 6A181234" { set x [expr $x+1]; exp_continue; }
   1449 	-re ".* 532      1080" { set x [expr $x+1]; exp_continue; }
   1450 	-re ".* 533 0de2 6A381234" { set x [expr $x+1]; exp_continue; }
   1451 	-re ".* 533      56781080" { set x [expr $x+1]; exp_continue; }
   1452 	-re ".* 534              " {
   1453 	    if [expr $x == 37] then {
   1454 		pass "$testname: shal.b ..."
   1455 	    } else {
   1456 		fail "$testname: shal.b ... ($x)"
   1457 	    }
   1458 	}
   1459         default	{ fail "$testname: shal.b ... ($x)" }
   1460     }
   1461 
   1462     set x 0
   1463     expect {
   1464 	-re ".* 535 0dea 1091" { set x [expr $x+1]; exp_continue; }
   1465 	-re ".* 536 0dec 7D901090" { set x [expr $x+1]; exp_continue; }
   1466 	-re ".* 537 0df0 01576918" { set x [expr $x+1]; exp_continue; }
   1467 	-re ".* 537      1090" { set x [expr $x+1]; exp_continue; }
   1468 	-re ".* 538 0df6 01546D18" { set x [expr $x+1]; exp_continue; }
   1469 	-re ".* 538      1090" { set x [expr $x+1]; exp_continue; }
   1470 	-re ".* 539 0dfc 01576D18" { set x [expr $x+1]; exp_continue; }
   1471 	-re ".* 539      1090" { set x [expr $x+1]; exp_continue; }
   1472 	-re ".* 540 0e02 01556D18" { set x [expr $x+1]; exp_continue; }
   1473 	-re ".* 540      1090" { set x [expr $x+1]; exp_continue; }
   1474 	-re ".* 541 0e08 01566D18" { set x [expr $x+1]; exp_continue; }
   1475 	-re ".* 541      1090" { set x [expr $x+1]; exp_continue; }
   1476 	-re ".* 542 0e0e 01546F18" { set x [expr $x+1]; exp_continue; }
   1477 	-re ".* 542      12341090" { set x [expr $x+1]; exp_continue; }
   1478 	-re ".* 543 0e16 78146B28" { set x [expr $x+1]; exp_continue; }
   1479 	-re ".* 543      12345678" { set x [expr $x+1]; exp_continue; }
   1480 	-re ".* 543      1090" { set x [expr $x+1]; exp_continue; }
   1481 	-re ".* 544 0e20 01556F28" { set x [expr $x+1]; exp_continue; }
   1482 	-re ".* 544      12341090" { set x [expr $x+1]; exp_continue; }
   1483 	-re ".* 545 0e28 01566F28" { set x [expr $x+1]; exp_continue; }
   1484 	-re ".* 545      12341090" { set x [expr $x+1]; exp_continue; }
   1485 	-re ".* 546 0e30 01576F28" { set x [expr $x+1]; exp_continue; }
   1486 	-re ".* 546      12341090" { set x [expr $x+1]; exp_continue; }
   1487 	-re ".* 547 0e38 78256B28" { set x [expr $x+1]; exp_continue; }
   1488 	-re ".* 547      12345678" { set x [expr $x+1]; exp_continue; }
   1489 	-re ".* 547      1090" { set x [expr $x+1]; exp_continue; }
   1490 	-re ".* 548 0e42 78266B28" { set x [expr $x+1]; exp_continue; }
   1491 	-re ".* 548      12345678" { set x [expr $x+1]; exp_continue; }
   1492 	-re ".* 548      1090" { set x [expr $x+1]; exp_continue; }
   1493 	-re ".* 549 0e4c 78276B28" { set x [expr $x+1]; exp_continue; }
   1494 	-re ".* 549      12345678" { set x [expr $x+1]; exp_continue; }
   1495 	-re ".* 549      1090" { set x [expr $x+1]; exp_continue; }
   1496 	-re ".* 550 0e56 6B181234" { set x [expr $x+1]; exp_continue; }
   1497 	-re ".* 550      1090" { set x [expr $x+1]; exp_continue; }
   1498 	-re ".* 551 0e5c 6B381234" { set x [expr $x+1]; exp_continue; }
   1499 	-re ".* 551      56781090" { set x [expr $x+1]; exp_continue; }
   1500 	-re ".* 552              " {
   1501 	    if [expr $x == 36] then {
   1502 		pass "$testname: shal.w ..."
   1503 	    } else {
   1504 		fail "$testname: shal.w ... ($x)"
   1505 	    }
   1506 	}
   1507         default	{ fail "$testname: shal.w ... ($x)" }
   1508     }
   1509 
   1510     set x 0
   1511     expect {
   1512 	-re ".* 553 0e64 10B1" { set x [expr $x+1]; exp_continue; }
   1513 	-re ".* 554 0e66 01046918" { set x [expr $x+1]; exp_continue; }
   1514 	-re ".* 554      10B0" { set x [expr $x+1]; exp_continue; }
   1515 	-re ".* 555 0e6c 01076918" { set x [expr $x+1]; exp_continue; }
   1516 	-re ".* 555      10B0" { set x [expr $x+1]; exp_continue; }
   1517 	-re ".* 556 0e72 01046D18" { set x [expr $x+1]; exp_continue; }
   1518 	-re ".* 556      10B0" { set x [expr $x+1]; exp_continue; }
   1519 	-re ".* 557 0e78 01076D18" { set x [expr $x+1]; exp_continue; }
   1520 	-re ".* 557      10B0" { set x [expr $x+1]; exp_continue; }
   1521 	-re ".* 558 0e7e 01056D18" { set x [expr $x+1]; exp_continue; }
   1522 	-re ".* 558      10B0" { set x [expr $x+1]; exp_continue; }
   1523 	-re ".* 559 0e84 01066D18" { set x [expr $x+1]; exp_continue; }
   1524 	-re ".* 559      10B0" { set x [expr $x+1]; exp_continue; }
   1525 	-re ".* 560 0e8a 01046F18" { set x [expr $x+1]; exp_continue; }
   1526 	-re ".* 560      123410B0" { set x [expr $x+1]; exp_continue; }
   1527 	-re ".* 561 0e92 78946B28" { set x [expr $x+1]; exp_continue; }
   1528 	-re ".* 561      12345678" { set x [expr $x+1]; exp_continue; }
   1529 	-re ".* 561      10B0" { set x [expr $x+1]; exp_continue; }
   1530 	-re ".* 562 0e9c 01056F28" { set x [expr $x+1]; exp_continue; }
   1531 	-re ".* 562      123410B0" { set x [expr $x+1]; exp_continue; }
   1532 	-re ".* 563 0ea4 01066F28" { set x [expr $x+1]; exp_continue; }
   1533 	-re ".* 563      123410B0" { set x [expr $x+1]; exp_continue; }
   1534 	-re ".* 564 0eac 01076F28" { set x [expr $x+1]; exp_continue; }
   1535 	-re ".* 564      123410B0" { set x [expr $x+1]; exp_continue; }
   1536 	-re ".* 565 0eb4 78A56B28" { set x [expr $x+1]; exp_continue; }
   1537 	-re ".* 565      12345678" { set x [expr $x+1]; exp_continue; }
   1538 	-re ".* 565      10B0" { set x [expr $x+1]; exp_continue; }
   1539 	-re ".* 566 0ebe 78A66B28" { set x [expr $x+1]; exp_continue; }
   1540 	-re ".* 566      12345678" { set x [expr $x+1]; exp_continue; }
   1541 	-re ".* 566      10B0" { set x [expr $x+1]; exp_continue; }
   1542 	-re ".* 567 0ec8 78A76B28" { set x [expr $x+1]; exp_continue; }
   1543 	-re ".* 567      12345678" { set x [expr $x+1]; exp_continue; }
   1544 	-re ".* 567      10B0" { set x [expr $x+1]; exp_continue; }
   1545 	-re ".* 568 0ed2 01046B08" { set x [expr $x+1]; exp_continue; }
   1546 	-re ".* 568      123410B0" { set x [expr $x+1]; exp_continue; }
   1547 	-re ".* 569 0eda 01046B28" { set x [expr $x+1]; exp_continue; }
   1548 	-re ".* 569      12345678" { set x [expr $x+1]; exp_continue; }
   1549 	-re ".* 569      10B0" { set x [expr $x+1]; exp_continue; }
   1550 	-re ".* 570              " {
   1551 	    if [expr $x == 38] then {
   1552 		pass "$testname: shal.l ..."
   1553 	    } else {
   1554 		fail "$testname: shal.l ... ($x)"
   1555 	    }
   1556 	}
   1557         default	{ fail "$testname: shal.l ... ($x)" }
   1558     }
   1559 
   1560     set x 0
   1561     expect {
   1562 	-re ".* 571 0ee4 10C1" { set x [expr $x+1]; exp_continue; }
   1563 	-re ".* 572 0ee6 7D1010C0" { set x [expr $x+1]; exp_continue; }
   1564 	-re ".* 573 0eea 01776818" { set x [expr $x+1]; exp_continue; }
   1565 	-re ".* 573      10C0" { set x [expr $x+1]; exp_continue; }
   1566 	-re ".* 574 0ef0 01746C18" { set x [expr $x+1]; exp_continue; }
   1567 	-re ".* 574      10C0" { set x [expr $x+1]; exp_continue; }
   1568 	-re ".* 575 0ef6 01776C18" { set x [expr $x+1]; exp_continue; }
   1569 	-re ".* 575      10C0" { set x [expr $x+1]; exp_continue; }
   1570 	-re ".* 576 0efc 01756C18" { set x [expr $x+1]; exp_continue; }
   1571 	-re ".* 576      10C0" { set x [expr $x+1]; exp_continue; }
   1572 	-re ".* 577 0f02 01766C18" { set x [expr $x+1]; exp_continue; }
   1573 	-re ".* 577      10C0" { set x [expr $x+1]; exp_continue; }
   1574 	-re ".* 578 0f08 01746E18" { set x [expr $x+1]; exp_continue; }
   1575 	-re ".* 578      123410C0" { set x [expr $x+1]; exp_continue; }
   1576 	-re ".* 579 0f10 78146A28" { set x [expr $x+1]; exp_continue; }
   1577 	-re ".* 579      12345678" { set x [expr $x+1]; exp_continue; }
   1578 	-re ".* 579      10C0" { set x [expr $x+1]; exp_continue; }
   1579 	-re ".* 580 0f1a 01756E28" { set x [expr $x+1]; exp_continue; }
   1580 	-re ".* 580      123410C0" { set x [expr $x+1]; exp_continue; }
   1581 	-re ".* 581 0f22 01766E28" { set x [expr $x+1]; exp_continue; }
   1582 	-re ".* 581      123410C0" { set x [expr $x+1]; exp_continue; }
   1583 	-re ".* 582 0f2a 01776E28" { set x [expr $x+1]; exp_continue; }
   1584 	-re ".* 582      123410C0" { set x [expr $x+1]; exp_continue; }
   1585 	-re ".* 583 0f32 78256A28" { set x [expr $x+1]; exp_continue; }
   1586 	-re ".* 583      12345678" { set x [expr $x+1]; exp_continue; }
   1587 	-re ".* 583      10C0" { set x [expr $x+1]; exp_continue; }
   1588 	-re ".* 584 0f3c 78266A28" { set x [expr $x+1]; exp_continue; }
   1589 	-re ".* 584      12345678" { set x [expr $x+1]; exp_continue; }
   1590 	-re ".* 584      10C0" { set x [expr $x+1]; exp_continue; }
   1591 	-re ".* 585 0f46 78276A28" { set x [expr $x+1]; exp_continue; }
   1592 	-re ".* 585      12345678" { set x [expr $x+1]; exp_continue; }
   1593 	-re ".* 585      10C0" { set x [expr $x+1]; exp_continue; }
   1594 	-re ".* 586 0f50 7F1210C0" { set x [expr $x+1]; exp_continue; }
   1595 	-re ".* 587 0f54 6A181234" { set x [expr $x+1]; exp_continue; }
   1596 	-re ".* 587      10C0" { set x [expr $x+1]; exp_continue; }
   1597 	-re ".* 588 0f5a 6A381234" { set x [expr $x+1]; exp_continue; }
   1598 	-re ".* 588      567810C0" { set x [expr $x+1]; exp_continue; }
   1599 	-re ".* 589              " {
   1600 	    if [expr $x == 37] then {
   1601 		pass "$testname: shal.b #2, ..."
   1602 	    } else {
   1603 		fail "$testname: shal.b #2, ... ($x)"
   1604 	    }
   1605 	}
   1606         default	{ fail "$testname: shal.b #2, ... ($x)" }
   1607     }
   1608 
   1609     set x 0
   1610     expect {
   1611 	-re ".* 590 0f62 10D1" { set x [expr $x+1]; exp_continue; }
   1612 	-re ".* 591 0f64 7D9010D0" { set x [expr $x+1]; exp_continue; }
   1613 	-re ".* 592 0f68 01576918" { set x [expr $x+1]; exp_continue; }
   1614 	-re ".* 592      10D0" { set x [expr $x+1]; exp_continue; }
   1615 	-re ".* 593 0f6e 01546D18" { set x [expr $x+1]; exp_continue; }
   1616 	-re ".* 593      10D0" { set x [expr $x+1]; exp_continue; }
   1617 	-re ".* 594 0f74 01576D18" { set x [expr $x+1]; exp_continue; }
   1618 	-re ".* 594      10D0" { set x [expr $x+1]; exp_continue; }
   1619 	-re ".* 595 0f7a 01556D18" { set x [expr $x+1]; exp_continue; }
   1620 	-re ".* 595      10D0" { set x [expr $x+1]; exp_continue; }
   1621 	-re ".* 596 0f80 01566D18" { set x [expr $x+1]; exp_continue; }
   1622 	-re ".* 596      10D0" { set x [expr $x+1]; exp_continue; }
   1623 	-re ".* 597 0f86 01546F18" { set x [expr $x+1]; exp_continue; }
   1624 	-re ".* 597      123410D0" { set x [expr $x+1]; exp_continue; }
   1625 	-re ".* 598 0f8e 78146B28" { set x [expr $x+1]; exp_continue; }
   1626 	-re ".* 598      12345678" { set x [expr $x+1]; exp_continue; }
   1627 	-re ".* 598      10D0" { set x [expr $x+1]; exp_continue; }
   1628 	-re ".* 599 0f98 01556F28" { set x [expr $x+1]; exp_continue; }
   1629 	-re ".* 599      123410D0" { set x [expr $x+1]; exp_continue; }
   1630 	-re ".* 600 0fa0 01566F28" { set x [expr $x+1]; exp_continue; }
   1631 	-re ".* 600      123410D0" { set x [expr $x+1]; exp_continue; }
   1632 	-re ".* 601 0fa8 01576F28" { set x [expr $x+1]; exp_continue; }
   1633 	-re ".* 601      123410D0" { set x [expr $x+1]; exp_continue; }
   1634 	-re ".* 602 0fb0 78256B28" { set x [expr $x+1]; exp_continue; }
   1635 	-re ".* 602      12345678" { set x [expr $x+1]; exp_continue; }
   1636 	-re ".* 602      10D0" { set x [expr $x+1]; exp_continue; }
   1637 	-re ".* 603 0fba 78266B28" { set x [expr $x+1]; exp_continue; }
   1638 	-re ".* 603      12345678" { set x [expr $x+1]; exp_continue; }
   1639 	-re ".* 603      10D0" { set x [expr $x+1]; exp_continue; }
   1640 	-re ".* 604 0fc4 78276B28" { set x [expr $x+1]; exp_continue; }
   1641 	-re ".* 604      12345678" { set x [expr $x+1]; exp_continue; }
   1642 	-re ".* 604      10D0" { set x [expr $x+1]; exp_continue; }
   1643 	-re ".* 605 0fce 6B181234" { set x [expr $x+1]; exp_continue; }
   1644 	-re ".* 605      10D0" { set x [expr $x+1]; exp_continue; }
   1645 	-re ".* 606 0fd4 6B381234" { set x [expr $x+1]; exp_continue; }
   1646 	-re ".* 606      567810D0" { set x [expr $x+1]; exp_continue; }
   1647 	-re ".* 607              " {
   1648 	    if [expr $x == 36] then {
   1649 		pass "$testname: shal.w #2, ..."
   1650 	    } else {
   1651 		fail "$testname: shal.w #2, ... ($x)"
   1652 	    }
   1653 	}
   1654         default	{ fail "$testname: shal.w #2, ... ($x)" }
   1655     }
   1656 
   1657     set x 0
   1658     expect {
   1659 	-re ".* 608 0fdc 10F1" { set x [expr $x+1]; exp_continue; }
   1660 	-re ".* 609 0fde 01046918" { set x [expr $x+1]; exp_continue; }
   1661 	-re ".* 609      10F0" { set x [expr $x+1]; exp_continue; }
   1662 	-re ".* 610 0fe4 01076918" { set x [expr $x+1]; exp_continue; }
   1663 	-re ".* 610      10F0" { set x [expr $x+1]; exp_continue; }
   1664 	-re ".* 611 0fea 01046D18" { set x [expr $x+1]; exp_continue; }
   1665 	-re ".* 611      10F0" { set x [expr $x+1]; exp_continue; }
   1666 	-re ".* 612 0ff0 01076D18" { set x [expr $x+1]; exp_continue; }
   1667 	-re ".* 612      10F0" { set x [expr $x+1]; exp_continue; }
   1668 	-re ".* 613 0ff6 01056D18" { set x [expr $x+1]; exp_continue; }
   1669 	-re ".* 613      10F0" { set x [expr $x+1]; exp_continue; }
   1670 	-re ".* 614 0ffc 01066D18" { set x [expr $x+1]; exp_continue; }
   1671 	-re ".* 614      10F0" { set x [expr $x+1]; exp_continue; }
   1672 	-re ".* 615 1002 01046F18" { set x [expr $x+1]; exp_continue; }
   1673 	-re ".* 615      123410F0" { set x [expr $x+1]; exp_continue; }
   1674 	-re ".* 616 100a 78946B28" { set x [expr $x+1]; exp_continue; }
   1675 	-re ".* 616      12345678" { set x [expr $x+1]; exp_continue; }
   1676 	-re ".* 616      10F0" { set x [expr $x+1]; exp_continue; }
   1677 	-re ".* 617 1014 01056F28" { set x [expr $x+1]; exp_continue; }
   1678 	-re ".* 617      123410F0" { set x [expr $x+1]; exp_continue; }
   1679 	-re ".* 618 101c 01066F28" { set x [expr $x+1]; exp_continue; }
   1680 	-re ".* 618      123410F0" { set x [expr $x+1]; exp_continue; }
   1681 	-re ".* 619 1024 01076F28" { set x [expr $x+1]; exp_continue; }
   1682 	-re ".* 619      123410F0" { set x [expr $x+1]; exp_continue; }
   1683 	-re ".* 620 102c 78A56B28" { set x [expr $x+1]; exp_continue; }
   1684 	-re ".* 620      12345678" { set x [expr $x+1]; exp_continue; }
   1685 	-re ".* 620      10F0" { set x [expr $x+1]; exp_continue; }
   1686 	-re ".* 621 1036 78A66B28" { set x [expr $x+1]; exp_continue; }
   1687 	-re ".* 621      12345678" { set x [expr $x+1]; exp_continue; }
   1688 	-re ".* 621      10F0" { set x [expr $x+1]; exp_continue; }
   1689 	-re ".* 622 1040 78A76B28" { set x [expr $x+1]; exp_continue; }
   1690 	-re ".* 622      12345678" { set x [expr $x+1]; exp_continue; }
   1691 	-re ".* 622      10F0" { set x [expr $x+1]; exp_continue; }
   1692 	-re ".* 623 104a 01046B08" { set x [expr $x+1]; exp_continue; }
   1693 	-re ".* 623      123410F0" { set x [expr $x+1]; exp_continue; }
   1694 	-re ".* 624 1052 01046B28" { set x [expr $x+1]; exp_continue; }
   1695 	-re ".* 624      12345678" { set x [expr $x+1]; exp_continue; }
   1696 	-re ".* 624      10F0" { set x [expr $x+1]; exp_continue; }
   1697 	-re ".* 625              " {
   1698 	    if [expr $x == 38] then {
   1699 		pass "$testname: shal.l #2, ..."
   1700 	    } else {
   1701 		fail "$testname: shal.l #2, ... ($x)"
   1702 	    }
   1703 	}
   1704         default	{ fail "$testname: shal.l #2, ... ($x)" }
   1705     }
   1706 
   1707     set x 0
   1708     expect {
   1709 	-re ".* 626 105c 1181" { set x [expr $x+1]; exp_continue; }
   1710 	-re ".* 627 105e 7D101180" { set x [expr $x+1]; exp_continue; }
   1711 	-re ".* 628 1062 01776818" { set x [expr $x+1]; exp_continue; }
   1712 	-re ".* 628      1180" { set x [expr $x+1]; exp_continue; }
   1713 	-re ".* 629 1068 01746C18" { set x [expr $x+1]; exp_continue; }
   1714 	-re ".* 629      1180" { set x [expr $x+1]; exp_continue; }
   1715 	-re ".* 630 106e 01776C18" { set x [expr $x+1]; exp_continue; }
   1716 	-re ".* 630      1180" { set x [expr $x+1]; exp_continue; }
   1717 	-re ".* 631 1074 01756C18" { set x [expr $x+1]; exp_continue; }
   1718 	-re ".* 631      1180" { set x [expr $x+1]; exp_continue; }
   1719 	-re ".* 632 107a 01766C18" { set x [expr $x+1]; exp_continue; }
   1720 	-re ".* 632      1180" { set x [expr $x+1]; exp_continue; }
   1721 	-re ".* 633 1080 01746E18" { set x [expr $x+1]; exp_continue; }
   1722 	-re ".* 633      12341180" { set x [expr $x+1]; exp_continue; }
   1723 	-re ".* 634 1088 78146A28" { set x [expr $x+1]; exp_continue; }
   1724 	-re ".* 634      12345678" { set x [expr $x+1]; exp_continue; }
   1725 	-re ".* 634      1180" { set x [expr $x+1]; exp_continue; }
   1726 	-re ".* 635 1092 01756E28" { set x [expr $x+1]; exp_continue; }
   1727 	-re ".* 635      12341180" { set x [expr $x+1]; exp_continue; }
   1728 	-re ".* 636 109a 01766E28" { set x [expr $x+1]; exp_continue; }
   1729 	-re ".* 636      12341180" { set x [expr $x+1]; exp_continue; }
   1730 	-re ".* 637 10a2 01776E28" { set x [expr $x+1]; exp_continue; }
   1731 	-re ".* 637      12341180" { set x [expr $x+1]; exp_continue; }
   1732 	-re ".* 638 10aa 78256A28" { set x [expr $x+1]; exp_continue; }
   1733 	-re ".* 638      12345678" { set x [expr $x+1]; exp_continue; }
   1734 	-re ".* 638      1180" { set x [expr $x+1]; exp_continue; }
   1735 	-re ".* 639 10b4 78266A28" { set x [expr $x+1]; exp_continue; }
   1736 	-re ".* 639      12345678" { set x [expr $x+1]; exp_continue; }
   1737 	-re ".* 639      1180" { set x [expr $x+1]; exp_continue; }
   1738 	-re ".* 640 10be 78276A28" { set x [expr $x+1]; exp_continue; }
   1739 	-re ".* 640      12345678" { set x [expr $x+1]; exp_continue; }
   1740 	-re ".* 640      1180" { set x [expr $x+1]; exp_continue; }
   1741 	-re ".* 641 10c8 7F121180" { set x [expr $x+1]; exp_continue; }
   1742 	-re ".* 642 10cc 6A181234" { set x [expr $x+1]; exp_continue; }
   1743 	-re ".* 642      1180" { set x [expr $x+1]; exp_continue; }
   1744 	-re ".* 643 10d2 6A381234" { set x [expr $x+1]; exp_continue; }
   1745 	-re ".* 643      56781180" { set x [expr $x+1]; exp_continue; }
   1746 	-re ".* 644              " {
   1747 	    if [expr $x == 37] then {
   1748 		pass "$testname: shar.b ..."
   1749 	    } else {
   1750 		fail "$testname: shar.b ... ($x)"
   1751 	    }
   1752 	}
   1753         default	{ fail "$testname: shar.b ... ($x)" }
   1754     }
   1755 
   1756     set x 0
   1757     expect {
   1758 	-re ".* 645 10da 1191" { set x [expr $x+1]; exp_continue; }
   1759 	-re ".* 646 10dc 7D901190" { set x [expr $x+1]; exp_continue; }
   1760 	-re ".* 647 10e0 01576918" { set x [expr $x+1]; exp_continue; }
   1761 	-re ".* 647      1190" { set x [expr $x+1]; exp_continue; }
   1762 	-re ".* 648 10e6 01546D18" { set x [expr $x+1]; exp_continue; }
   1763 	-re ".* 648      1190" { set x [expr $x+1]; exp_continue; }
   1764 	-re ".* 649 10ec 01576D18" { set x [expr $x+1]; exp_continue; }
   1765 	-re ".* 649      1190" { set x [expr $x+1]; exp_continue; }
   1766 	-re ".* 650 10f2 01556D18" { set x [expr $x+1]; exp_continue; }
   1767 	-re ".* 650      1190" { set x [expr $x+1]; exp_continue; }
   1768 	-re ".* 651 10f8 01566D18" { set x [expr $x+1]; exp_continue; }
   1769 	-re ".* 651      1190" { set x [expr $x+1]; exp_continue; }
   1770 	-re ".* 652 10fe 01546F18" { set x [expr $x+1]; exp_continue; }
   1771 	-re ".* 652      12341190" { set x [expr $x+1]; exp_continue; }
   1772 	-re ".* 653 1106 78146B28" { set x [expr $x+1]; exp_continue; }
   1773 	-re ".* 653      12345678" { set x [expr $x+1]; exp_continue; }
   1774 	-re ".* 653      1190" { set x [expr $x+1]; exp_continue; }
   1775 	-re ".* 654 1110 01556F28" { set x [expr $x+1]; exp_continue; }
   1776 	-re ".* 654      12341190" { set x [expr $x+1]; exp_continue; }
   1777 	-re ".* 655 1118 01566F28" { set x [expr $x+1]; exp_continue; }
   1778 	-re ".* 655      12341190" { set x [expr $x+1]; exp_continue; }
   1779 	-re ".* 656 1120 01576F28" { set x [expr $x+1]; exp_continue; }
   1780 	-re ".* 656      12341190" { set x [expr $x+1]; exp_continue; }
   1781 	-re ".* 657 1128 78256B28" { set x [expr $x+1]; exp_continue; }
   1782 	-re ".* 657      12345678" { set x [expr $x+1]; exp_continue; }
   1783 	-re ".* 657      1190" { set x [expr $x+1]; exp_continue; }
   1784 	-re ".* 658 1132 78266B28" { set x [expr $x+1]; exp_continue; }
   1785 	-re ".* 658      12345678" { set x [expr $x+1]; exp_continue; }
   1786 	-re ".* 658      1190" { set x [expr $x+1]; exp_continue; }
   1787 	-re ".* 659 113c 78276B28" { set x [expr $x+1]; exp_continue; }
   1788 	-re ".* 659      12345678" { set x [expr $x+1]; exp_continue; }
   1789 	-re ".* 659      1190" { set x [expr $x+1]; exp_continue; }
   1790 	-re ".* 660 1146 6B181234" { set x [expr $x+1]; exp_continue; }
   1791 	-re ".* 660      1190" { set x [expr $x+1]; exp_continue; }
   1792 	-re ".* 661 114c 6B381234" { set x [expr $x+1]; exp_continue; }
   1793 	-re ".* 661      56781190" { set x [expr $x+1]; exp_continue; }
   1794 	-re ".* 662              " {
   1795 	    if [expr $x == 36] then {
   1796 		pass "$testname: shar.w ..."
   1797 	    } else {
   1798 		fail "$testname: shar.w ... ($x)"
   1799 	    }
   1800 	}
   1801         default	{ fail "$testname: shar.w ... ($x)" }
   1802     }
   1803 
   1804     set x 0
   1805     expect {
   1806 	-re ".* 663 1154 11B1" { set x [expr $x+1]; exp_continue; }
   1807 	-re ".* 664 1156 01046918" { set x [expr $x+1]; exp_continue; }
   1808 	-re ".* 664      11B0" { set x [expr $x+1]; exp_continue; }
   1809 	-re ".* 665 115c 01076918" { set x [expr $x+1]; exp_continue; }
   1810 	-re ".* 665      11B0" { set x [expr $x+1]; exp_continue; }
   1811 	-re ".* 666 1162 01046D18" { set x [expr $x+1]; exp_continue; }
   1812 	-re ".* 666      11B0" { set x [expr $x+1]; exp_continue; }
   1813 	-re ".* 667 1168 01076D18" { set x [expr $x+1]; exp_continue; }
   1814 	-re ".* 667      11B0" { set x [expr $x+1]; exp_continue; }
   1815 	-re ".* 668 116e 01056D18" { set x [expr $x+1]; exp_continue; }
   1816 	-re ".* 668      11B0" { set x [expr $x+1]; exp_continue; }
   1817 	-re ".* 669 1174 01066D18" { set x [expr $x+1]; exp_continue; }
   1818 	-re ".* 669      11B0" { set x [expr $x+1]; exp_continue; }
   1819 	-re ".* 670 117a 01046F18" { set x [expr $x+1]; exp_continue; }
   1820 	-re ".* 670      123411B0" { set x [expr $x+1]; exp_continue; }
   1821 	-re ".* 671 1182 78946B28" { set x [expr $x+1]; exp_continue; }
   1822 	-re ".* 671      12345678" { set x [expr $x+1]; exp_continue; }
   1823 	-re ".* 671      11B0" { set x [expr $x+1]; exp_continue; }
   1824 	-re ".* 672 118c 01056F28" { set x [expr $x+1]; exp_continue; }
   1825 	-re ".* 672      123411B0" { set x [expr $x+1]; exp_continue; }
   1826 	-re ".* 673 1194 01066F28" { set x [expr $x+1]; exp_continue; }
   1827 	-re ".* 673      123411B0" { set x [expr $x+1]; exp_continue; }
   1828 	-re ".* 674 119c 01076F28" { set x [expr $x+1]; exp_continue; }
   1829 	-re ".* 674      123411B0" { set x [expr $x+1]; exp_continue; }
   1830 	-re ".* 675 11a4 78A56B28" { set x [expr $x+1]; exp_continue; }
   1831 	-re ".* 675      12345678" { set x [expr $x+1]; exp_continue; }
   1832 	-re ".* 675      11B0" { set x [expr $x+1]; exp_continue; }
   1833 	-re ".* 676 11ae 78A66B28" { set x [expr $x+1]; exp_continue; }
   1834 	-re ".* 676      12345678" { set x [expr $x+1]; exp_continue; }
   1835 	-re ".* 676      11B0" { set x [expr $x+1]; exp_continue; }
   1836 	-re ".* 677 11b8 78A76B28" { set x [expr $x+1]; exp_continue; }
   1837 	-re ".* 677      12345678" { set x [expr $x+1]; exp_continue; }
   1838 	-re ".* 677      11B0" { set x [expr $x+1]; exp_continue; }
   1839 	-re ".* 678 11c2 01046B08" { set x [expr $x+1]; exp_continue; }
   1840 	-re ".* 678      123411B0" { set x [expr $x+1]; exp_continue; }
   1841 	-re ".* 679 11ca 01046B28" { set x [expr $x+1]; exp_continue; }
   1842 	-re ".* 679      12345678" { set x [expr $x+1]; exp_continue; }
   1843 	-re ".* 679      11B0" { set x [expr $x+1]; exp_continue; }
   1844 	-re ".* 680              " {
   1845 	    if [expr $x == 38] then {
   1846 		pass "$testname: shar.l ..."
   1847 	    } else {
   1848 		fail "$testname: shar.l ... ($x)"
   1849 	    }
   1850 	}
   1851         default	{ fail "$testname: shar.l ... ($x)" }
   1852     }
   1853 
   1854     set x 0
   1855     expect {
   1856 	-re ".* 681 11d4 11C1" { set x [expr $x+1]; exp_continue; }
   1857 	-re ".* 682 11d6 7D1011C0" { set x [expr $x+1]; exp_continue; }
   1858 	-re ".* 683 11da 01776818" { set x [expr $x+1]; exp_continue; }
   1859 	-re ".* 683      11C0" { set x [expr $x+1]; exp_continue; }
   1860 	-re ".* 684 11e0 01746C18" { set x [expr $x+1]; exp_continue; }
   1861 	-re ".* 684      11C0" { set x [expr $x+1]; exp_continue; }
   1862 	-re ".* 685 11e6 01776C18" { set x [expr $x+1]; exp_continue; }
   1863 	-re ".* 685      11C0" { set x [expr $x+1]; exp_continue; }
   1864 	-re ".* 686 11ec 01756C18" { set x [expr $x+1]; exp_continue; }
   1865 	-re ".* 686      11C0" { set x [expr $x+1]; exp_continue; }
   1866 	-re ".* 687 11f2 01766C18" { set x [expr $x+1]; exp_continue; }
   1867 	-re ".* 687      11C0" { set x [expr $x+1]; exp_continue; }
   1868 	-re ".* 688 11f8 01746E18" { set x [expr $x+1]; exp_continue; }
   1869 	-re ".* 688      123411C0" { set x [expr $x+1]; exp_continue; }
   1870 	-re ".* 689 1200 78146A28" { set x [expr $x+1]; exp_continue; }
   1871 	-re ".* 689      12345678" { set x [expr $x+1]; exp_continue; }
   1872 	-re ".* 689      11C0" { set x [expr $x+1]; exp_continue; }
   1873 	-re ".* 690 120a 01756E28" { set x [expr $x+1]; exp_continue; }
   1874 	-re ".* 690      123411C0" { set x [expr $x+1]; exp_continue; }
   1875 	-re ".* 691 1212 01766E28" { set x [expr $x+1]; exp_continue; }
   1876 	-re ".* 691      123411C0" { set x [expr $x+1]; exp_continue; }
   1877 	-re ".* 692 121a 01776E28" { set x [expr $x+1]; exp_continue; }
   1878 	-re ".* 692      123411C0" { set x [expr $x+1]; exp_continue; }
   1879 	-re ".* 693 1222 78256A28" { set x [expr $x+1]; exp_continue; }
   1880 	-re ".* 693      12345678" { set x [expr $x+1]; exp_continue; }
   1881 	-re ".* 693      11C0" { set x [expr $x+1]; exp_continue; }
   1882 	-re ".* 694 122c 78266A28" { set x [expr $x+1]; exp_continue; }
   1883 	-re ".* 694      12345678" { set x [expr $x+1]; exp_continue; }
   1884 	-re ".* 694      11C0" { set x [expr $x+1]; exp_continue; }
   1885 	-re ".* 695 1236 78276A28" { set x [expr $x+1]; exp_continue; }
   1886 	-re ".* 695      12345678" { set x [expr $x+1]; exp_continue; }
   1887 	-re ".* 695      11C0" { set x [expr $x+1]; exp_continue; }
   1888 	-re ".* 696 1240 7F1211C0" { set x [expr $x+1]; exp_continue; }
   1889 	-re ".* 697 1244 6A181234" { set x [expr $x+1]; exp_continue; }
   1890 	-re ".* 697      11C0" { set x [expr $x+1]; exp_continue; }
   1891 	-re ".* 698 124a 6A381234" { set x [expr $x+1]; exp_continue; }
   1892 	-re ".* 698      567811C0" { set x [expr $x+1]; exp_continue; }
   1893 	-re ".* 699              " {
   1894 	    if [expr $x == 37] then {
   1895 		pass "$testname: shar.b #2, ..."
   1896 	    } else {
   1897 		fail "$testname: shar.b #2, ... ($x)"
   1898 	    }
   1899 	}
   1900         default	{ fail "$testname: shar.b #2, ... ($x)" }
   1901     }
   1902 
   1903     set x 0
   1904     expect {
   1905 	-re ".* 700 1252 11D1" { set x [expr $x+1]; exp_continue; }
   1906 	-re ".* 701 1254 7D9011D0" { set x [expr $x+1]; exp_continue; }
   1907 	-re ".* 702 1258 01576918" { set x [expr $x+1]; exp_continue; }
   1908 	-re ".* 702      11D0" { set x [expr $x+1]; exp_continue; }
   1909 	-re ".* 703 125e 01546D18" { set x [expr $x+1]; exp_continue; }
   1910 	-re ".* 703      11D0" { set x [expr $x+1]; exp_continue; }
   1911 	-re ".* 704 1264 01576D18" { set x [expr $x+1]; exp_continue; }
   1912 	-re ".* 704      11D0" { set x [expr $x+1]; exp_continue; }
   1913 	-re ".* 705 126a 01556D18" { set x [expr $x+1]; exp_continue; }
   1914 	-re ".* 705      11D0" { set x [expr $x+1]; exp_continue; }
   1915 	-re ".* 706 1270 01566D18" { set x [expr $x+1]; exp_continue; }
   1916 	-re ".* 706      11D0" { set x [expr $x+1]; exp_continue; }
   1917 	-re ".* 707 1276 01546F18" { set x [expr $x+1]; exp_continue; }
   1918 	-re ".* 707      123411D0" { set x [expr $x+1]; exp_continue; }
   1919 	-re ".* 708 127e 78146B28" { set x [expr $x+1]; exp_continue; }
   1920 	-re ".* 708      12345678" { set x [expr $x+1]; exp_continue; }
   1921 	-re ".* 708      11D0" { set x [expr $x+1]; exp_continue; }
   1922 	-re ".* 709 1288 01556F28" { set x [expr $x+1]; exp_continue; }
   1923 	-re ".* 709      123411D0" { set x [expr $x+1]; exp_continue; }
   1924 	-re ".* 710 1290 01566F28" { set x [expr $x+1]; exp_continue; }
   1925 	-re ".* 710      123411D0" { set x [expr $x+1]; exp_continue; }
   1926 	-re ".* 711 1298 01576F28" { set x [expr $x+1]; exp_continue; }
   1927 	-re ".* 711      123411D0" { set x [expr $x+1]; exp_continue; }
   1928 	-re ".* 712 12a0 78256B28" { set x [expr $x+1]; exp_continue; }
   1929 	-re ".* 712      12345678" { set x [expr $x+1]; exp_continue; }
   1930 	-re ".* 712      11D0" { set x [expr $x+1]; exp_continue; }
   1931 	-re ".* 713 12aa 78266B28" { set x [expr $x+1]; exp_continue; }
   1932 	-re ".* 713      12345678" { set x [expr $x+1]; exp_continue; }
   1933 	-re ".* 713      11D0" { set x [expr $x+1]; exp_continue; }
   1934 	-re ".* 714 12b4 78276B28" { set x [expr $x+1]; exp_continue; }
   1935 	-re ".* 714      12345678" { set x [expr $x+1]; exp_continue; }
   1936 	-re ".* 714      11D0" { set x [expr $x+1]; exp_continue; }
   1937 	-re ".* 715 12be 6B181234" { set x [expr $x+1]; exp_continue; }
   1938 	-re ".* 715      11D0" { set x [expr $x+1]; exp_continue; }
   1939 	-re ".* 716 12c4 6B381234" { set x [expr $x+1]; exp_continue; }
   1940 	-re ".* 716      567811D0" { set x [expr $x+1]; exp_continue; }
   1941 	-re ".* 717              " {
   1942 	    if [expr $x == 36] then {
   1943 		pass "$testname: shar.w #2, ..."
   1944 	    } else {
   1945 		fail "$testname: shar.w #2, ... ($x)"
   1946 	    }
   1947 	}
   1948         default	{ fail "$testname: shar.w #2, ... ($x)" }
   1949     }
   1950 
   1951     set x 0
   1952     expect {
   1953 	-re ".* 718 12cc 11F1" { set x [expr $x+1]; exp_continue; }
   1954 	-re ".* 719 12ce 01046918" { set x [expr $x+1]; exp_continue; }
   1955 	-re ".* 719      11F0" { set x [expr $x+1]; exp_continue; }
   1956 	-re ".* 720 12d4 01076918" { set x [expr $x+1]; exp_continue; }
   1957 	-re ".* 720      11F0" { set x [expr $x+1]; exp_continue; }
   1958 	-re ".* 721 12da 01046D18" { set x [expr $x+1]; exp_continue; }
   1959 	-re ".* 721      11F0" { set x [expr $x+1]; exp_continue; }
   1960 	-re ".* 722 12e0 01076D18" { set x [expr $x+1]; exp_continue; }
   1961 	-re ".* 722      11F0" { set x [expr $x+1]; exp_continue; }
   1962 	-re ".* 723 12e6 01056D18" { set x [expr $x+1]; exp_continue; }
   1963 	-re ".* 723      11F0" { set x [expr $x+1]; exp_continue; }
   1964 	-re ".* 724 12ec 01066D18" { set x [expr $x+1]; exp_continue; }
   1965 	-re ".* 724      11F0" { set x [expr $x+1]; exp_continue; }
   1966 	-re ".* 725 12f2 01046F18" { set x [expr $x+1]; exp_continue; }
   1967 	-re ".* 725      123411F0" { set x [expr $x+1]; exp_continue; }
   1968 	-re ".* 726 12fa 78946B28" { set x [expr $x+1]; exp_continue; }
   1969 	-re ".* 726      12345678" { set x [expr $x+1]; exp_continue; }
   1970 	-re ".* 726      11F0" { set x [expr $x+1]; exp_continue; }
   1971 	-re ".* 727 1304 01056F28" { set x [expr $x+1]; exp_continue; }
   1972 	-re ".* 727      123411F0" { set x [expr $x+1]; exp_continue; }
   1973 	-re ".* 728 130c 01066F28" { set x [expr $x+1]; exp_continue; }
   1974 	-re ".* 728      123411F0" { set x [expr $x+1]; exp_continue; }
   1975 	-re ".* 729 1314 01076F28" { set x [expr $x+1]; exp_continue; }
   1976 	-re ".* 729      123411F0" { set x [expr $x+1]; exp_continue; }
   1977 	-re ".* 730 131c 78A56B28" { set x [expr $x+1]; exp_continue; }
   1978 	-re ".* 730      12345678" { set x [expr $x+1]; exp_continue; }
   1979 	-re ".* 730      11F0" { set x [expr $x+1]; exp_continue; }
   1980 	-re ".* 731 1326 78A66B28" { set x [expr $x+1]; exp_continue; }
   1981 	-re ".* 731      12345678" { set x [expr $x+1]; exp_continue; }
   1982 	-re ".* 731      11F0" { set x [expr $x+1]; exp_continue; }
   1983 	-re ".* 732 1330 78A76B28" { set x [expr $x+1]; exp_continue; }
   1984 	-re ".* 732      12345678" { set x [expr $x+1]; exp_continue; }
   1985 	-re ".* 732      11F0" { set x [expr $x+1]; exp_continue; }
   1986 	-re ".* 733 133a 01046B08" { set x [expr $x+1]; exp_continue; }
   1987 	-re ".* 733      123411F0" { set x [expr $x+1]; exp_continue; }
   1988 	-re ".* 734 1342 01046B28" { set x [expr $x+1]; exp_continue; }
   1989 	-re ".* 734      12345678" { set x [expr $x+1]; exp_continue; }
   1990 	-re ".* 734      11F0" { set x [expr $x+1]; exp_continue; }
   1991 	-re ".* 735              " {
   1992 	    if [expr $x == 38] then {
   1993 		pass "$testname: shar.l #2, ..."
   1994 	    } else {
   1995 		fail "$testname: shar.l #2, ... ($x)"
   1996 	    }
   1997 	}
   1998         default	{ fail "$testname: shar.l #2, ... ($x)" }
   1999     }
   2000 
   2001     set x 0
   2002     expect {
   2003 	-re ".* 736 134c 1201" { set x [expr $x+1]; exp_continue; }
   2004 	-re ".* 737 134e 7D101200" { set x [expr $x+1]; exp_continue; }
   2005 	-re ".* 738 1352 01776818" { set x [expr $x+1]; exp_continue; }
   2006 	-re ".* 738      1200" { set x [expr $x+1]; exp_continue; }
   2007 	-re ".* 739 1358 01746C18" { set x [expr $x+1]; exp_continue; }
   2008 	-re ".* 739      1200" { set x [expr $x+1]; exp_continue; }
   2009 	-re ".* 740 135e 01776C18" { set x [expr $x+1]; exp_continue; }
   2010 	-re ".* 740      1200" { set x [expr $x+1]; exp_continue; }
   2011 	-re ".* 741 1364 01756C18" { set x [expr $x+1]; exp_continue; }
   2012 	-re ".* 741      1200" { set x [expr $x+1]; exp_continue; }
   2013 	-re ".* 742 136a 01766C18" { set x [expr $x+1]; exp_continue; }
   2014 	-re ".* 742      1200" { set x [expr $x+1]; exp_continue; }
   2015 	-re ".* 743 1370 01746E18" { set x [expr $x+1]; exp_continue; }
   2016 	-re ".* 743      12341200" { set x [expr $x+1]; exp_continue; }
   2017 	-re ".* 744 1378 78146A28" { set x [expr $x+1]; exp_continue; }
   2018 	-re ".* 744      12345678" { set x [expr $x+1]; exp_continue; }
   2019 	-re ".* 744      1200" { set x [expr $x+1]; exp_continue; }
   2020 	-re ".* 745 1382 01756E28" { set x [expr $x+1]; exp_continue; }
   2021 	-re ".* 745      12341200" { set x [expr $x+1]; exp_continue; }
   2022 	-re ".* 746 138a 01766E28" { set x [expr $x+1]; exp_continue; }
   2023 	-re ".* 746      12341200" { set x [expr $x+1]; exp_continue; }
   2024 	-re ".* 747 1392 01776E28" { set x [expr $x+1]; exp_continue; }
   2025 	-re ".* 747      12341200" { set x [expr $x+1]; exp_continue; }
   2026 	-re ".* 748 139a 78256A28" { set x [expr $x+1]; exp_continue; }
   2027 	-re ".* 748      12345678" { set x [expr $x+1]; exp_continue; }
   2028 	-re ".* 748      1200" { set x [expr $x+1]; exp_continue; }
   2029 	-re ".* 749 13a4 78266A28" { set x [expr $x+1]; exp_continue; }
   2030 	-re ".* 749      12345678" { set x [expr $x+1]; exp_continue; }
   2031 	-re ".* 749      1200" { set x [expr $x+1]; exp_continue; }
   2032 	-re ".* 750 13ae 78276A28" { set x [expr $x+1]; exp_continue; }
   2033 	-re ".* 750      12345678" { set x [expr $x+1]; exp_continue; }
   2034 	-re ".* 750      1200" { set x [expr $x+1]; exp_continue; }
   2035 	-re ".* 751 13b8 7F121200" { set x [expr $x+1]; exp_continue; }
   2036 	-re ".* 752 13bc 6A181234" { set x [expr $x+1]; exp_continue; }
   2037 	-re ".* 752      1200" { set x [expr $x+1]; exp_continue; }
   2038 	-re ".* 753 13c2 6A381234" { set x [expr $x+1]; exp_continue; }
   2039 	-re ".* 753      56781200" { set x [expr $x+1]; exp_continue; }
   2040 	-re ".* 754              " {
   2041 	    if [expr $x == 37] then {
   2042 		pass "$testname: rotxl.b ..."
   2043 	    } else {
   2044 		fail "$testname: rotxl.b ... ($x)"
   2045 	    }
   2046 	}
   2047         default	{ fail "$testname: rotxl.b ... ($x)" }
   2048     }
   2049 
   2050     set x 0
   2051     expect {
   2052 	-re ".* 755 13ca 1211" { set x [expr $x+1]; exp_continue; }
   2053 	-re ".* 756 13cc 7D901210" { set x [expr $x+1]; exp_continue; }
   2054 	-re ".* 757 13d0 01576918" { set x [expr $x+1]; exp_continue; }
   2055 	-re ".* 757      1210" { set x [expr $x+1]; exp_continue; }
   2056 	-re ".* 758 13d6 01546D18" { set x [expr $x+1]; exp_continue; }
   2057 	-re ".* 758      1210" { set x [expr $x+1]; exp_continue; }
   2058 	-re ".* 759 13dc 01576D18" { set x [expr $x+1]; exp_continue; }
   2059 	-re ".* 759      1210" { set x [expr $x+1]; exp_continue; }
   2060 	-re ".* 760 13e2 01556D18" { set x [expr $x+1]; exp_continue; }
   2061 	-re ".* 760      1210" { set x [expr $x+1]; exp_continue; }
   2062 	-re ".* 761 13e8 01566D18" { set x [expr $x+1]; exp_continue; }
   2063 	-re ".* 761      1210" { set x [expr $x+1]; exp_continue; }
   2064 	-re ".* 762 13ee 01546F18" { set x [expr $x+1]; exp_continue; }
   2065 	-re ".* 762      12341210" { set x [expr $x+1]; exp_continue; }
   2066 	-re ".* 763 13f6 78146B28" { set x [expr $x+1]; exp_continue; }
   2067 	-re ".* 763      12345678" { set x [expr $x+1]; exp_continue; }
   2068 	-re ".* 763      1210" { set x [expr $x+1]; exp_continue; }
   2069 	-re ".* 764 1400 01556F28" { set x [expr $x+1]; exp_continue; }
   2070 	-re ".* 764      12341210" { set x [expr $x+1]; exp_continue; }
   2071 	-re ".* 765 1408 01566F28" { set x [expr $x+1]; exp_continue; }
   2072 	-re ".* 765      12341210" { set x [expr $x+1]; exp_continue; }
   2073 	-re ".* 766 1410 01576F28" { set x [expr $x+1]; exp_continue; }
   2074 	-re ".* 766      12341210" { set x [expr $x+1]; exp_continue; }
   2075 	-re ".* 767 1418 78256B28" { set x [expr $x+1]; exp_continue; }
   2076 	-re ".* 767      12345678" { set x [expr $x+1]; exp_continue; }
   2077 	-re ".* 767      1210" { set x [expr $x+1]; exp_continue; }
   2078 	-re ".* 768 1422 78266B28" { set x [expr $x+1]; exp_continue; }
   2079 	-re ".* 768      12345678" { set x [expr $x+1]; exp_continue; }
   2080 	-re ".* 768      1210" { set x [expr $x+1]; exp_continue; }
   2081 	-re ".* 769 142c 78276B28" { set x [expr $x+1]; exp_continue; }
   2082 	-re ".* 769      12345678" { set x [expr $x+1]; exp_continue; }
   2083 	-re ".* 769      1210" { set x [expr $x+1]; exp_continue; }
   2084 	-re ".* 770 1436 6B181234" { set x [expr $x+1]; exp_continue; }
   2085 	-re ".* 770      1210" { set x [expr $x+1]; exp_continue; }
   2086 	-re ".* 771 143c 6B381234" { set x [expr $x+1]; exp_continue; }
   2087 	-re ".* 771      56781210" { set x [expr $x+1]; exp_continue; }
   2088 	-re ".* 772              " {
   2089 	    if [expr $x == 36] then {
   2090 		pass "$testname: rotxl.w ..."
   2091 	    } else {
   2092 		fail "$testname: rotxl.w ... ($x)"
   2093 	    }
   2094 	}
   2095         default	{ fail "$testname: rotxl.w ... ($x)" }
   2096     }
   2097 
   2098     set x 0
   2099     expect {
   2100 	-re ".* 773 1444 1231" { set x [expr $x+1]; exp_continue; }
   2101 	-re ".* 774 1446 01046918" { set x [expr $x+1]; exp_continue; }
   2102 	-re ".* 774      1230" { set x [expr $x+1]; exp_continue; }
   2103 	-re ".* 775 144c 01076918" { set x [expr $x+1]; exp_continue; }
   2104 	-re ".* 775      1230" { set x [expr $x+1]; exp_continue; }
   2105 	-re ".* 776 1452 01046D18" { set x [expr $x+1]; exp_continue; }
   2106 	-re ".* 776      1230" { set x [expr $x+1]; exp_continue; }
   2107 	-re ".* 777 1458 01076D18" { set x [expr $x+1]; exp_continue; }
   2108 	-re ".* 777      1230" { set x [expr $x+1]; exp_continue; }
   2109 	-re ".* 778 145e 01056D18" { set x [expr $x+1]; exp_continue; }
   2110 	-re ".* 778      1230" { set x [expr $x+1]; exp_continue; }
   2111 	-re ".* 779 1464 01066D18" { set x [expr $x+1]; exp_continue; }
   2112 	-re ".* 779      1230" { set x [expr $x+1]; exp_continue; }
   2113 	-re ".* 780 146a 01046F18" { set x [expr $x+1]; exp_continue; }
   2114 	-re ".* 780      12341230" { set x [expr $x+1]; exp_continue; }
   2115 	-re ".* 781 1472 78946B28" { set x [expr $x+1]; exp_continue; }
   2116 	-re ".* 781      12345678" { set x [expr $x+1]; exp_continue; }
   2117 	-re ".* 781      1230" { set x [expr $x+1]; exp_continue; }
   2118 	-re ".* 782 147c 01056F28" { set x [expr $x+1]; exp_continue; }
   2119 	-re ".* 782      12341230" { set x [expr $x+1]; exp_continue; }
   2120 	-re ".* 783 1484 01066F28" { set x [expr $x+1]; exp_continue; }
   2121 	-re ".* 783      12341230" { set x [expr $x+1]; exp_continue; }
   2122 	-re ".* 784 148c 01076F28" { set x [expr $x+1]; exp_continue; }
   2123 	-re ".* 784      12341230" { set x [expr $x+1]; exp_continue; }
   2124 	-re ".* 785 1494 78A56B28" { set x [expr $x+1]; exp_continue; }
   2125 	-re ".* 785      12345678" { set x [expr $x+1]; exp_continue; }
   2126 	-re ".* 785      1230" { set x [expr $x+1]; exp_continue; }
   2127 	-re ".* 786 149e 78A66B28" { set x [expr $x+1]; exp_continue; }
   2128 	-re ".* 786      12345678" { set x [expr $x+1]; exp_continue; }
   2129 	-re ".* 786      1230" { set x [expr $x+1]; exp_continue; }
   2130 	-re ".* 787 14a8 78A76B28" { set x [expr $x+1]; exp_continue; }
   2131 	-re ".* 787      12345678" { set x [expr $x+1]; exp_continue; }
   2132 	-re ".* 787      1230" { set x [expr $x+1]; exp_continue; }
   2133 	-re ".* 788 14b2 01046B08" { set x [expr $x+1]; exp_continue; }
   2134 	-re ".* 788      12341230" { set x [expr $x+1]; exp_continue; }
   2135 	-re ".* 789 14ba 01046B28" { set x [expr $x+1]; exp_continue; }
   2136 	-re ".* 789      12345678" { set x [expr $x+1]; exp_continue; }
   2137 	-re ".* 789      1230" { set x [expr $x+1]; exp_continue; }
   2138 	-re ".* 790              " {
   2139 	    if [expr $x == 38] then {
   2140 		pass "$testname: rotxl.l ..."
   2141 	    } else {
   2142 		fail "$testname: rotxl.l ... ($x)"
   2143 	    }
   2144 	}
   2145         default	{ fail "$testname: rotxl.l ... ($x)" }
   2146     }
   2147 
   2148     set x 0
   2149     expect {
   2150 	-re ".* 791 14c4 1241" { set x [expr $x+1]; exp_continue; }
   2151 	-re ".* 792 14c6 7D101240" { set x [expr $x+1]; exp_continue; }
   2152 	-re ".* 793 14ca 01776818" { set x [expr $x+1]; exp_continue; }
   2153 	-re ".* 793      1240" { set x [expr $x+1]; exp_continue; }
   2154 	-re ".* 794 14d0 01746C18" { set x [expr $x+1]; exp_continue; }
   2155 	-re ".* 794      1240" { set x [expr $x+1]; exp_continue; }
   2156 	-re ".* 795 14d6 01776C18" { set x [expr $x+1]; exp_continue; }
   2157 	-re ".* 795      1240" { set x [expr $x+1]; exp_continue; }
   2158 	-re ".* 796 14dc 01756C18" { set x [expr $x+1]; exp_continue; }
   2159 	-re ".* 796      1240" { set x [expr $x+1]; exp_continue; }
   2160 	-re ".* 797 14e2 01766C18" { set x [expr $x+1]; exp_continue; }
   2161 	-re ".* 797      1240" { set x [expr $x+1]; exp_continue; }
   2162 	-re ".* 798 14e8 01746E18" { set x [expr $x+1]; exp_continue; }
   2163 	-re ".* 798      12341240" { set x [expr $x+1]; exp_continue; }
   2164 	-re ".* 799 14f0 78146A28" { set x [expr $x+1]; exp_continue; }
   2165 	-re ".* 799      12345678" { set x [expr $x+1]; exp_continue; }
   2166 	-re ".* 799      1240" { set x [expr $x+1]; exp_continue; }
   2167 	-re ".* 800 14fa 01756E28" { set x [expr $x+1]; exp_continue; }
   2168 	-re ".* 800      12341240" { set x [expr $x+1]; exp_continue; }
   2169 	-re ".* 801 1502 01766E28" { set x [expr $x+1]; exp_continue; }
   2170 	-re ".* 801      12341240" { set x [expr $x+1]; exp_continue; }
   2171 	-re ".* 802 150a 01776E28" { set x [expr $x+1]; exp_continue; }
   2172 	-re ".* 802      12341240" { set x [expr $x+1]; exp_continue; }
   2173 	-re ".* 803 1512 78256A28" { set x [expr $x+1]; exp_continue; }
   2174 	-re ".* 803      12345678" { set x [expr $x+1]; exp_continue; }
   2175 	-re ".* 803      1240" { set x [expr $x+1]; exp_continue; }
   2176 	-re ".* 804 151c 78266A28" { set x [expr $x+1]; exp_continue; }
   2177 	-re ".* 804      12345678" { set x [expr $x+1]; exp_continue; }
   2178 	-re ".* 804      1240" { set x [expr $x+1]; exp_continue; }
   2179 	-re ".* 805 1526 78276A28" { set x [expr $x+1]; exp_continue; }
   2180 	-re ".* 805      12345678" { set x [expr $x+1]; exp_continue; }
   2181 	-re ".* 805      1240" { set x [expr $x+1]; exp_continue; }
   2182 	-re ".* 806 1530 7F121240" { set x [expr $x+1]; exp_continue; }
   2183 	-re ".* 807 1534 6A181234" { set x [expr $x+1]; exp_continue; }
   2184 	-re ".* 807      1240" { set x [expr $x+1]; exp_continue; }
   2185 	-re ".* 808 153a 6A381234" { set x [expr $x+1]; exp_continue; }
   2186 	-re ".* 808      56781240" { set x [expr $x+1]; exp_continue; }
   2187 	-re ".* 809              " {
   2188 	    if [expr $x == 37] then {
   2189 		pass "$testname: rotxl.b #2, ..."
   2190 	    } else {
   2191 		fail "$testname: rotxl.b #2, ... ($x)"
   2192 	    }
   2193 	}
   2194         default	{ fail "$testname: rotxl.b #2, ... ($x)" }
   2195     }
   2196 
   2197     set x 0
   2198     expect {
   2199 	-re ".* 810 1542 1251" { set x [expr $x+1]; exp_continue; }
   2200 	-re ".* 811 1544 7D901250" { set x [expr $x+1]; exp_continue; }
   2201 	-re ".* 812 1548 01576918" { set x [expr $x+1]; exp_continue; }
   2202 	-re ".* 812      1250" { set x [expr $x+1]; exp_continue; }
   2203 	-re ".* 813 154e 01546D18" { set x [expr $x+1]; exp_continue; }
   2204 	-re ".* 813      1250" { set x [expr $x+1]; exp_continue; }
   2205 	-re ".* 814 1554 01576D18" { set x [expr $x+1]; exp_continue; }
   2206 	-re ".* 814      1250" { set x [expr $x+1]; exp_continue; }
   2207 	-re ".* 815 155a 01556D18" { set x [expr $x+1]; exp_continue; }
   2208 	-re ".* 815      1250" { set x [expr $x+1]; exp_continue; }
   2209 	-re ".* 816 1560 01566D18" { set x [expr $x+1]; exp_continue; }
   2210 	-re ".* 816      1250" { set x [expr $x+1]; exp_continue; }
   2211 	-re ".* 817 1566 01546F18" { set x [expr $x+1]; exp_continue; }
   2212 	-re ".* 817      12341250" { set x [expr $x+1]; exp_continue; }
   2213 	-re ".* 818 156e 78146B28" { set x [expr $x+1]; exp_continue; }
   2214 	-re ".* 818      12345678" { set x [expr $x+1]; exp_continue; }
   2215 	-re ".* 818      1250" { set x [expr $x+1]; exp_continue; }
   2216 	-re ".* 819 1578 01556F28" { set x [expr $x+1]; exp_continue; }
   2217 	-re ".* 819      12341250" { set x [expr $x+1]; exp_continue; }
   2218 	-re ".* 820 1580 01566F28" { set x [expr $x+1]; exp_continue; }
   2219 	-re ".* 820      12341250" { set x [expr $x+1]; exp_continue; }
   2220 	-re ".* 821 1588 01576F28" { set x [expr $x+1]; exp_continue; }
   2221 	-re ".* 821      12341250" { set x [expr $x+1]; exp_continue; }
   2222 	-re ".* 822 1590 78256B28" { set x [expr $x+1]; exp_continue; }
   2223 	-re ".* 822      12345678" { set x [expr $x+1]; exp_continue; }
   2224 	-re ".* 822      1250" { set x [expr $x+1]; exp_continue; }
   2225 	-re ".* 823 159a 78266B28" { set x [expr $x+1]; exp_continue; }
   2226 	-re ".* 823      12345678" { set x [expr $x+1]; exp_continue; }
   2227 	-re ".* 823      1250" { set x [expr $x+1]; exp_continue; }
   2228 	-re ".* 824 15a4 78276B28" { set x [expr $x+1]; exp_continue; }
   2229 	-re ".* 824      12345678" { set x [expr $x+1]; exp_continue; }
   2230 	-re ".* 824      1250" { set x [expr $x+1]; exp_continue; }
   2231 	-re ".* 825 15ae 6B181234" { set x [expr $x+1]; exp_continue; }
   2232 	-re ".* 825      1250" { set x [expr $x+1]; exp_continue; }
   2233 	-re ".* 826 15b4 6B381234" { set x [expr $x+1]; exp_continue; }
   2234 	-re ".* 826      56781250" { set x [expr $x+1]; exp_continue; }
   2235 	-re ".* 827              " {
   2236 	    if [expr $x == 36] then {
   2237 		pass "$testname: rotxl.w #2, ..."
   2238 	    } else {
   2239 		fail "$testname: rotxl.w #2, ... ($x)"
   2240 	    }
   2241 	}
   2242         default	{ fail "$testname: rotxl.w #2, ... ($x)" }
   2243     }
   2244 
   2245     set x 0
   2246     expect {
   2247 	-re ".* 828 15bc 1271" { set x [expr $x+1]; exp_continue; }
   2248 	-re ".* 829 15be 01046918" { set x [expr $x+1]; exp_continue; }
   2249 	-re ".* 829      1270" { set x [expr $x+1]; exp_continue; }
   2250 	-re ".* 830 15c4 01076918" { set x [expr $x+1]; exp_continue; }
   2251 	-re ".* 830      1270" { set x [expr $x+1]; exp_continue; }
   2252 	-re ".* 831 15ca 01046D18" { set x [expr $x+1]; exp_continue; }
   2253 	-re ".* 831      1270" { set x [expr $x+1]; exp_continue; }
   2254 	-re ".* 832 15d0 01076D18" { set x [expr $x+1]; exp_continue; }
   2255 	-re ".* 832      1270" { set x [expr $x+1]; exp_continue; }
   2256 	-re ".* 833 15d6 01056D18" { set x [expr $x+1]; exp_continue; }
   2257 	-re ".* 833      1270" { set x [expr $x+1]; exp_continue; }
   2258 	-re ".* 834 15dc 01066D18" { set x [expr $x+1]; exp_continue; }
   2259 	-re ".* 834      1270" { set x [expr $x+1]; exp_continue; }
   2260 	-re ".* 835 15e2 01046F18" { set x [expr $x+1]; exp_continue; }
   2261 	-re ".* 835      12341270" { set x [expr $x+1]; exp_continue; }
   2262 	-re ".* 836 15ea 78946B28" { set x [expr $x+1]; exp_continue; }
   2263 	-re ".* 836      12345678" { set x [expr $x+1]; exp_continue; }
   2264 	-re ".* 836      1270" { set x [expr $x+1]; exp_continue; }
   2265 	-re ".* 837 15f4 01056F28" { set x [expr $x+1]; exp_continue; }
   2266 	-re ".* 837      12341270" { set x [expr $x+1]; exp_continue; }
   2267 	-re ".* 838 15fc 01066F28" { set x [expr $x+1]; exp_continue; }
   2268 	-re ".* 838      12341270" { set x [expr $x+1]; exp_continue; }
   2269 	-re ".* 839 1604 01076F28" { set x [expr $x+1]; exp_continue; }
   2270 	-re ".* 839      12341270" { set x [expr $x+1]; exp_continue; }
   2271 	-re ".* 840 160c 78A56B28" { set x [expr $x+1]; exp_continue; }
   2272 	-re ".* 840      12345678" { set x [expr $x+1]; exp_continue; }
   2273 	-re ".* 840      1270" { set x [expr $x+1]; exp_continue; }
   2274 	-re ".* 841 1616 78A66B28" { set x [expr $x+1]; exp_continue; }
   2275 	-re ".* 841      12345678" { set x [expr $x+1]; exp_continue; }
   2276 	-re ".* 841      1270" { set x [expr $x+1]; exp_continue; }
   2277 	-re ".* 842 1620 78A76B28" { set x [expr $x+1]; exp_continue; }
   2278 	-re ".* 842      12345678" { set x [expr $x+1]; exp_continue; }
   2279 	-re ".* 842      1270" { set x [expr $x+1]; exp_continue; }
   2280 	-re ".* 843 162a 01046B08" { set x [expr $x+1]; exp_continue; }
   2281 	-re ".* 843      12341270" { set x [expr $x+1]; exp_continue; }
   2282 	-re ".* 844 1632 01046B28" { set x [expr $x+1]; exp_continue; }
   2283 	-re ".* 844      12345678" { set x [expr $x+1]; exp_continue; }
   2284 	-re ".* 844      1270" { set x [expr $x+1]; exp_continue; }
   2285 	-re ".* 845              " {
   2286 	    if [expr $x == 38] then {
   2287 		pass "$testname: rotxl.l #2, ..."
   2288 	    } else {
   2289 		fail "$testname: rotxl.l #2, ... ($x)"
   2290 	    }
   2291 	}
   2292         default	{ fail "$testname: rotxl.l #2, ... ($x)" }
   2293     }
   2294 
   2295     set x 0
   2296     expect {
   2297 	-re ".* 846 163c 1301" { set x [expr $x+1]; exp_continue; }
   2298 	-re ".* 847 163e 7D101300" { set x [expr $x+1]; exp_continue; }
   2299 	-re ".* 848 1642 01776818" { set x [expr $x+1]; exp_continue; }
   2300 	-re ".* 848      1300" { set x [expr $x+1]; exp_continue; }
   2301 	-re ".* 849 1648 01746C18" { set x [expr $x+1]; exp_continue; }
   2302 	-re ".* 849      1300" { set x [expr $x+1]; exp_continue; }
   2303 	-re ".* 850 164e 01776C18" { set x [expr $x+1]; exp_continue; }
   2304 	-re ".* 850      1300" { set x [expr $x+1]; exp_continue; }
   2305 	-re ".* 851 1654 01756C18" { set x [expr $x+1]; exp_continue; }
   2306 	-re ".* 851      1300" { set x [expr $x+1]; exp_continue; }
   2307 	-re ".* 852 165a 01766C18" { set x [expr $x+1]; exp_continue; }
   2308 	-re ".* 852      1300" { set x [expr $x+1]; exp_continue; }
   2309 	-re ".* 853 1660 01746E18" { set x [expr $x+1]; exp_continue; }
   2310 	-re ".* 853      12341300" { set x [expr $x+1]; exp_continue; }
   2311 	-re ".* 854 1668 78146A28" { set x [expr $x+1]; exp_continue; }
   2312 	-re ".* 854      12345678" { set x [expr $x+1]; exp_continue; }
   2313 	-re ".* 854      1300" { set x [expr $x+1]; exp_continue; }
   2314 	-re ".* 855 1672 01756E28" { set x [expr $x+1]; exp_continue; }
   2315 	-re ".* 855      12341300" { set x [expr $x+1]; exp_continue; }
   2316 	-re ".* 856 167a 01766E28" { set x [expr $x+1]; exp_continue; }
   2317 	-re ".* 856      12341300" { set x [expr $x+1]; exp_continue; }
   2318 	-re ".* 857 1682 01776E28" { set x [expr $x+1]; exp_continue; }
   2319 	-re ".* 857      12341300" { set x [expr $x+1]; exp_continue; }
   2320 	-re ".* 858 168a 78256A28" { set x [expr $x+1]; exp_continue; }
   2321 	-re ".* 858      12345678" { set x [expr $x+1]; exp_continue; }
   2322 	-re ".* 858      1300" { set x [expr $x+1]; exp_continue; }
   2323 	-re ".* 859 1694 78266A28" { set x [expr $x+1]; exp_continue; }
   2324 	-re ".* 859      12345678" { set x [expr $x+1]; exp_continue; }
   2325 	-re ".* 859      1300" { set x [expr $x+1]; exp_continue; }
   2326 	-re ".* 860 169e 78276A28" { set x [expr $x+1]; exp_continue; }
   2327 	-re ".* 860      12345678" { set x [expr $x+1]; exp_continue; }
   2328 	-re ".* 860      1300" { set x [expr $x+1]; exp_continue; }
   2329 	-re ".* 861 16a8 7F121300" { set x [expr $x+1]; exp_continue; }
   2330 	-re ".* 862 16ac 6A181234" { set x [expr $x+1]; exp_continue; }
   2331 	-re ".* 862      1300" { set x [expr $x+1]; exp_continue; }
   2332 	-re ".* 863 16b2 6A381234" { set x [expr $x+1]; exp_continue; }
   2333 	-re ".* 863      56781300" { set x [expr $x+1]; exp_continue; }
   2334 	-re ".* 864              " {
   2335 	    if [expr $x == 37] then {
   2336 		pass "$testname: rotxr.b ..."
   2337 	    } else {
   2338 		fail "$testname: rotxr.b ... ($x)"
   2339 	    }
   2340 	}
   2341         default	{ fail "$testname: rotxr.b ... ($x)" }
   2342     }
   2343 
   2344     set x 0
   2345     expect {
   2346 	-re ".* 865 16ba 1311" { set x [expr $x+1]; exp_continue; }
   2347 	-re ".* 866 16bc 7D901310" { set x [expr $x+1]; exp_continue; }
   2348 	-re ".* 867 16c0 01576918" { set x [expr $x+1]; exp_continue; }
   2349 	-re ".* 867      1310" { set x [expr $x+1]; exp_continue; }
   2350 	-re ".* 868 16c6 01546D18" { set x [expr $x+1]; exp_continue; }
   2351 	-re ".* 868      1310" { set x [expr $x+1]; exp_continue; }
   2352 	-re ".* 869 16cc 01576D18" { set x [expr $x+1]; exp_continue; }
   2353 	-re ".* 869      1310" { set x [expr $x+1]; exp_continue; }
   2354 	-re ".* 870 16d2 01556D18" { set x [expr $x+1]; exp_continue; }
   2355 	-re ".* 870      1310" { set x [expr $x+1]; exp_continue; }
   2356 	-re ".* 871 16d8 01566D18" { set x [expr $x+1]; exp_continue; }
   2357 	-re ".* 871      1310" { set x [expr $x+1]; exp_continue; }
   2358 	-re ".* 872 16de 01546F18" { set x [expr $x+1]; exp_continue; }
   2359 	-re ".* 872      12341310" { set x [expr $x+1]; exp_continue; }
   2360 	-re ".* 873 16e6 78146B28" { set x [expr $x+1]; exp_continue; }
   2361 	-re ".* 873      12345678" { set x [expr $x+1]; exp_continue; }
   2362 	-re ".* 873      1310" { set x [expr $x+1]; exp_continue; }
   2363 	-re ".* 874 16f0 01556F28" { set x [expr $x+1]; exp_continue; }
   2364 	-re ".* 874      12341310" { set x [expr $x+1]; exp_continue; }
   2365 	-re ".* 875 16f8 01566F28" { set x [expr $x+1]; exp_continue; }
   2366 	-re ".* 875      12341310" { set x [expr $x+1]; exp_continue; }
   2367 	-re ".* 876 1700 01576F28" { set x [expr $x+1]; exp_continue; }
   2368 	-re ".* 876      12341310" { set x [expr $x+1]; exp_continue; }
   2369 	-re ".* 877 1708 78256B28" { set x [expr $x+1]; exp_continue; }
   2370 	-re ".* 877      12345678" { set x [expr $x+1]; exp_continue; }
   2371 	-re ".* 877      1310" { set x [expr $x+1]; exp_continue; }
   2372 	-re ".* 878 1712 78266B28" { set x [expr $x+1]; exp_continue; }
   2373 	-re ".* 878      12345678" { set x [expr $x+1]; exp_continue; }
   2374 	-re ".* 878      1310" { set x [expr $x+1]; exp_continue; }
   2375 	-re ".* 879 171c 78276B28" { set x [expr $x+1]; exp_continue; }
   2376 	-re ".* 879      12345678" { set x [expr $x+1]; exp_continue; }
   2377 	-re ".* 879      1310" { set x [expr $x+1]; exp_continue; }
   2378 	-re ".* 880 1726 6B181234" { set x [expr $x+1]; exp_continue; }
   2379 	-re ".* 880      1310" { set x [expr $x+1]; exp_continue; }
   2380 	-re ".* 881 172c 6B381234" { set x [expr $x+1]; exp_continue; }
   2381 	-re ".* 881      56781310" { set x [expr $x+1]; exp_continue; }
   2382 	-re ".* 882              " {
   2383 	    if [expr $x == 36] then {
   2384 		pass "$testname: rotxr.w ..."
   2385 	    } else {
   2386 		fail "$testname: rotxr.w ... ($x)"
   2387 	    }
   2388 	}
   2389         default	{ fail "$testname: rotxr.w ... ($x)" }
   2390     }
   2391 
   2392     set x 0
   2393     expect {
   2394 	-re ".* 883 1734 1331" { set x [expr $x+1]; exp_continue; }
   2395 	-re ".* 884 1736 01046918" { set x [expr $x+1]; exp_continue; }
   2396 	-re ".* 884      1330" { set x [expr $x+1]; exp_continue; }
   2397 	-re ".* 885 173c 01076918" { set x [expr $x+1]; exp_continue; }
   2398 	-re ".* 885      1330" { set x [expr $x+1]; exp_continue; }
   2399 	-re ".* 886 1742 01046D18" { set x [expr $x+1]; exp_continue; }
   2400 	-re ".* 886      1330" { set x [expr $x+1]; exp_continue; }
   2401 	-re ".* 887 1748 01076D18" { set x [expr $x+1]; exp_continue; }
   2402 	-re ".* 887      1330" { set x [expr $x+1]; exp_continue; }
   2403 	-re ".* 888 174e 01056D18" { set x [expr $x+1]; exp_continue; }
   2404 	-re ".* 888      1330" { set x [expr $x+1]; exp_continue; }
   2405 	-re ".* 889 1754 01066D18" { set x [expr $x+1]; exp_continue; }
   2406 	-re ".* 889      1330" { set x [expr $x+1]; exp_continue; }
   2407 	-re ".* 890 175a 01046F18" { set x [expr $x+1]; exp_continue; }
   2408 	-re ".* 890      12341330" { set x [expr $x+1]; exp_continue; }
   2409 	-re ".* 891 1762 78946B28" { set x [expr $x+1]; exp_continue; }
   2410 	-re ".* 891      12345678" { set x [expr $x+1]; exp_continue; }
   2411 	-re ".* 891      1330" { set x [expr $x+1]; exp_continue; }
   2412 	-re ".* 892 176c 01056F28" { set x [expr $x+1]; exp_continue; }
   2413 	-re ".* 892      12341330" { set x [expr $x+1]; exp_continue; }
   2414 	-re ".* 893 1774 01066F28" { set x [expr $x+1]; exp_continue; }
   2415 	-re ".* 893      12341330" { set x [expr $x+1]; exp_continue; }
   2416 	-re ".* 894 177c 01076F28" { set x [expr $x+1]; exp_continue; }
   2417 	-re ".* 894      12341330" { set x [expr $x+1]; exp_continue; }
   2418 	-re ".* 895 1784 78A56B28" { set x [expr $x+1]; exp_continue; }
   2419 	-re ".* 895      12345678" { set x [expr $x+1]; exp_continue; }
   2420 	-re ".* 895      1330" { set x [expr $x+1]; exp_continue; }
   2421 	-re ".* 896 178e 78A66B28" { set x [expr $x+1]; exp_continue; }
   2422 	-re ".* 896      12345678" { set x [expr $x+1]; exp_continue; }
   2423 	-re ".* 896      1330" { set x [expr $x+1]; exp_continue; }
   2424 	-re ".* 897 1798 78A76B28" { set x [expr $x+1]; exp_continue; }
   2425 	-re ".* 897      12345678" { set x [expr $x+1]; exp_continue; }
   2426 	-re ".* 897      1330" { set x [expr $x+1]; exp_continue; }
   2427 	-re ".* 898 17a2 01046B08" { set x [expr $x+1]; exp_continue; }
   2428 	-re ".* 898      12341330" { set x [expr $x+1]; exp_continue; }
   2429 	-re ".* 899 17aa 01046B28" { set x [expr $x+1]; exp_continue; }
   2430 	-re ".* 899      12345678" { set x [expr $x+1]; exp_continue; }
   2431 	-re ".* 899      1330" { set x [expr $x+1]; exp_continue; }
   2432 	-re ".* 900              " {
   2433 	    if [expr $x == 38] then {
   2434 		pass "$testname: rotxr.l ..."
   2435 	    } else {
   2436 		fail "$testname: rotxr.l ... ($x)"
   2437 	    }
   2438 	}
   2439         default	{ fail "$testname: rotxr.l ... ($x)" }
   2440     }
   2441 
   2442     set x 0
   2443     expect {
   2444 	-re ".* 901 17b4 1341" { set x [expr $x+1]; exp_continue; }
   2445 	-re ".* 902 17b6 7D101340" { set x [expr $x+1]; exp_continue; }
   2446 	-re ".* 903 17ba 01776818" { set x [expr $x+1]; exp_continue; }
   2447 	-re ".* 903      1340" { set x [expr $x+1]; exp_continue; }
   2448 	-re ".* 904 17c0 01746C18" { set x [expr $x+1]; exp_continue; }
   2449 	-re ".* 904      1340" { set x [expr $x+1]; exp_continue; }
   2450 	-re ".* 905 17c6 01776C18" { set x [expr $x+1]; exp_continue; }
   2451 	-re ".* 905      1340" { set x [expr $x+1]; exp_continue; }
   2452 	-re ".* 906 17cc 01756C18" { set x [expr $x+1]; exp_continue; }
   2453 	-re ".* 906      1340" { set x [expr $x+1]; exp_continue; }
   2454 	-re ".* 907 17d2 01766C18" { set x [expr $x+1]; exp_continue; }
   2455 	-re ".* 907      1340" { set x [expr $x+1]; exp_continue; }
   2456 	-re ".* 908 17d8 01746E18" { set x [expr $x+1]; exp_continue; }
   2457 	-re ".* 908      12341340" { set x [expr $x+1]; exp_continue; }
   2458 	-re ".* 909 17e0 78146A28" { set x [expr $x+1]; exp_continue; }
   2459 	-re ".* 909      12345678" { set x [expr $x+1]; exp_continue; }
   2460 	-re ".* 909      1340" { set x [expr $x+1]; exp_continue; }
   2461 	-re ".* 910 17ea 01756E28" { set x [expr $x+1]; exp_continue; }
   2462 	-re ".* 910      12341340" { set x [expr $x+1]; exp_continue; }
   2463 	-re ".* 911 17f2 01766E28" { set x [expr $x+1]; exp_continue; }
   2464 	-re ".* 911      12341340" { set x [expr $x+1]; exp_continue; }
   2465 	-re ".* 912 17fa 01776E28" { set x [expr $x+1]; exp_continue; }
   2466 	-re ".* 912      12341340" { set x [expr $x+1]; exp_continue; }
   2467 	-re ".* 913 1802 78256A28" { set x [expr $x+1]; exp_continue; }
   2468 	-re ".* 913      12345678" { set x [expr $x+1]; exp_continue; }
   2469 	-re ".* 913      1340" { set x [expr $x+1]; exp_continue; }
   2470 	-re ".* 914 180c 78266A28" { set x [expr $x+1]; exp_continue; }
   2471 	-re ".* 914      12345678" { set x [expr $x+1]; exp_continue; }
   2472 	-re ".* 914      1340" { set x [expr $x+1]; exp_continue; }
   2473 	-re ".* 915 1816 78276A28" { set x [expr $x+1]; exp_continue; }
   2474 	-re ".* 915      12345678" { set x [expr $x+1]; exp_continue; }
   2475 	-re ".* 915      1340" { set x [expr $x+1]; exp_continue; }
   2476 	-re ".* 916 1820 7F121340" { set x [expr $x+1]; exp_continue; }
   2477 	-re ".* 917 1824 6A181234" { set x [expr $x+1]; exp_continue; }
   2478 	-re ".* 917      1340" { set x [expr $x+1]; exp_continue; }
   2479 	-re ".* 918 182a 6A381234" { set x [expr $x+1]; exp_continue; }
   2480 	-re ".* 918      56781340" { set x [expr $x+1]; exp_continue; }
   2481 	-re ".* 919              " {
   2482 	    if [expr $x == 37] then {
   2483 		pass "$testname: rotxr.b #2, ..."
   2484 	    } else {
   2485 		fail "$testname: rotxr.b #2, ... ($x)"
   2486 	    }
   2487 	}
   2488         default	{ fail "$testname: rotxr.b #2, ... ($x)" }
   2489     }
   2490 
   2491     set x 0
   2492     expect {
   2493 	-re ".* 920 1832 1351" { set x [expr $x+1]; exp_continue; }
   2494 	-re ".* 921 1834 7D901350" { set x [expr $x+1]; exp_continue; }
   2495 	-re ".* 922 1838 01576918" { set x [expr $x+1]; exp_continue; }
   2496 	-re ".* 922      1350" { set x [expr $x+1]; exp_continue; }
   2497 	-re ".* 923 183e 01546D18" { set x [expr $x+1]; exp_continue; }
   2498 	-re ".* 923      1350" { set x [expr $x+1]; exp_continue; }
   2499 	-re ".* 924 1844 01576D18" { set x [expr $x+1]; exp_continue; }
   2500 	-re ".* 924      1350" { set x [expr $x+1]; exp_continue; }
   2501 	-re ".* 925 184a 01556D18" { set x [expr $x+1]; exp_continue; }
   2502 	-re ".* 925      1350" { set x [expr $x+1]; exp_continue; }
   2503 	-re ".* 926 1850 01566D18" { set x [expr $x+1]; exp_continue; }
   2504 	-re ".* 926      1350" { set x [expr $x+1]; exp_continue; }
   2505 	-re ".* 927 1856 01546F18" { set x [expr $x+1]; exp_continue; }
   2506 	-re ".* 927      12341350" { set x [expr $x+1]; exp_continue; }
   2507 	-re ".* 928 185e 78146B28" { set x [expr $x+1]; exp_continue; }
   2508 	-re ".* 928      12345678" { set x [expr $x+1]; exp_continue; }
   2509 	-re ".* 928      1350" { set x [expr $x+1]; exp_continue; }
   2510 	-re ".* 929 1868 01556F28" { set x [expr $x+1]; exp_continue; }
   2511 	-re ".* 929      12341350" { set x [expr $x+1]; exp_continue; }
   2512 	-re ".* 930 1870 01566F28" { set x [expr $x+1]; exp_continue; }
   2513 	-re ".* 930      12341350" { set x [expr $x+1]; exp_continue; }
   2514 	-re ".* 931 1878 01576F28" { set x [expr $x+1]; exp_continue; }
   2515 	-re ".* 931      12341350" { set x [expr $x+1]; exp_continue; }
   2516 	-re ".* 932 1880 78256B28" { set x [expr $x+1]; exp_continue; }
   2517 	-re ".* 932      12345678" { set x [expr $x+1]; exp_continue; }
   2518 	-re ".* 932      1350" { set x [expr $x+1]; exp_continue; }
   2519 	-re ".* 933 188a 78266B28" { set x [expr $x+1]; exp_continue; }
   2520 	-re ".* 933      12345678" { set x [expr $x+1]; exp_continue; }
   2521 	-re ".* 933      1350" { set x [expr $x+1]; exp_continue; }
   2522 	-re ".* 934 1894 78276B28" { set x [expr $x+1]; exp_continue; }
   2523 	-re ".* 934      12345678" { set x [expr $x+1]; exp_continue; }
   2524 	-re ".* 934      1350" { set x [expr $x+1]; exp_continue; }
   2525 	-re ".* 935 189e 6B181234" { set x [expr $x+1]; exp_continue; }
   2526 	-re ".* 935      1350" { set x [expr $x+1]; exp_continue; }
   2527 	-re ".* 936 18a4 6B381234" { set x [expr $x+1]; exp_continue; }
   2528 	-re ".* 936      56781350" { set x [expr $x+1]; exp_continue; }
   2529 	-re ".* 937              " {
   2530 	    if [expr $x == 36] then {
   2531 		pass "$testname: rotxr.w #2, ..."
   2532 	    } else {
   2533 		fail "$testname: rotxr.w #2, ... ($x)"
   2534 	    }
   2535 	}
   2536         default	{ fail "$testname: rotxr.w #2, ... ($x)" }
   2537     }
   2538 
   2539     set x 0
   2540     expect {
   2541 	-re ".* 938 18ac 1371" { set x [expr $x+1]; exp_continue; }
   2542 	-re ".* 939 18ae 01046918" { set x [expr $x+1]; exp_continue; }
   2543 	-re ".* 939      1370" { set x [expr $x+1]; exp_continue; }
   2544 	-re ".* 940 18b4 01076918" { set x [expr $x+1]; exp_continue; }
   2545 	-re ".* 940      1370" { set x [expr $x+1]; exp_continue; }
   2546 	-re ".* 941 18ba 01046D18" { set x [expr $x+1]; exp_continue; }
   2547 	-re ".* 941      1370" { set x [expr $x+1]; exp_continue; }
   2548 	-re ".* 942 18c0 01076D18" { set x [expr $x+1]; exp_continue; }
   2549 	-re ".* 942      1370" { set x [expr $x+1]; exp_continue; }
   2550 	-re ".* 943 18c6 01056D18" { set x [expr $x+1]; exp_continue; }
   2551 	-re ".* 943      1370" { set x [expr $x+1]; exp_continue; }
   2552 	-re ".* 944 18cc 01066D18" { set x [expr $x+1]; exp_continue; }
   2553 	-re ".* 944      1370" { set x [expr $x+1]; exp_continue; }
   2554 	-re ".* 945 18d2 01046F18" { set x [expr $x+1]; exp_continue; }
   2555 	-re ".* 945      12341370" { set x [expr $x+1]; exp_continue; }
   2556 	-re ".* 946 18da 78946B28" { set x [expr $x+1]; exp_continue; }
   2557 	-re ".* 946      12345678" { set x [expr $x+1]; exp_continue; }
   2558 	-re ".* 946      1370" { set x [expr $x+1]; exp_continue; }
   2559 	-re ".* 947 18e4 01056F28" { set x [expr $x+1]; exp_continue; }
   2560 	-re ".* 947      12341370" { set x [expr $x+1]; exp_continue; }
   2561 	-re ".* 948 18ec 01066F28" { set x [expr $x+1]; exp_continue; }
   2562 	-re ".* 948      12341370" { set x [expr $x+1]; exp_continue; }
   2563 	-re ".* 949 18f4 01076F28" { set x [expr $x+1]; exp_continue; }
   2564 	-re ".* 949      12341370" { set x [expr $x+1]; exp_continue; }
   2565 	-re ".* 950 18fc 78A56B28" { set x [expr $x+1]; exp_continue; }
   2566 	-re ".* 950      12345678" { set x [expr $x+1]; exp_continue; }
   2567 	-re ".* 950      1370" { set x [expr $x+1]; exp_continue; }
   2568 	-re ".* 951 1906 78A66B28" { set x [expr $x+1]; exp_continue; }
   2569 	-re ".* 951      12345678" { set x [expr $x+1]; exp_continue; }
   2570 	-re ".* 951      1370" { set x [expr $x+1]; exp_continue; }
   2571 	-re ".* 952 1910 78A76B28" { set x [expr $x+1]; exp_continue; }
   2572 	-re ".* 952      12345678" { set x [expr $x+1]; exp_continue; }
   2573 	-re ".* 952      1370" { set x [expr $x+1]; exp_continue; }
   2574 	-re ".* 953 191a 01046B08" { set x [expr $x+1]; exp_continue; }
   2575 	-re ".* 953      12341370" { set x [expr $x+1]; exp_continue; }
   2576 	-re ".* 954 1922 01046B28" { set x [expr $x+1]; exp_continue; }
   2577 	-re ".* 954      12345678" { set x [expr $x+1]; exp_continue; }
   2578 	-re ".* 954      1370" { set x [expr $x+1]; exp_continue; }
   2579 	-re ".* 955              " {
   2580 	    if [expr $x == 38] then {
   2581 		pass "$testname: rotxr.l #2, ..."
   2582 	    } else {
   2583 		fail "$testname: rotxr.l #2, ... ($x)"
   2584 	    }
   2585 	}
   2586         default	{ fail "$testname: rotxr.l #2, ... ($x)" }
   2587     }
   2588 
   2589     set x 0
   2590     expect {
   2591 	-re ".* 956 192c 1281" { set x [expr $x+1]; exp_continue; }
   2592 	-re ".* 957 192e 7D101280" { set x [expr $x+1]; exp_continue; }
   2593 	-re ".* 958 1932 01776818" { set x [expr $x+1]; exp_continue; }
   2594 	-re ".* 958      1280" { set x [expr $x+1]; exp_continue; }
   2595 	-re ".* 959 1938 01746C18" { set x [expr $x+1]; exp_continue; }
   2596 	-re ".* 959      1280" { set x [expr $x+1]; exp_continue; }
   2597 	-re ".* 960 193e 01776C18" { set x [expr $x+1]; exp_continue; }
   2598 	-re ".* 960      1280" { set x [expr $x+1]; exp_continue; }
   2599 	-re ".* 961 1944 01756C18" { set x [expr $x+1]; exp_continue; }
   2600 	-re ".* 961      1280" { set x [expr $x+1]; exp_continue; }
   2601 	-re ".* 962 194a 01766C18" { set x [expr $x+1]; exp_continue; }
   2602 	-re ".* 962      1280" { set x [expr $x+1]; exp_continue; }
   2603 	-re ".* 963 1950 01746E18" { set x [expr $x+1]; exp_continue; }
   2604 	-re ".* 963      12341280" { set x [expr $x+1]; exp_continue; }
   2605 	-re ".* 964 1958 78146A28" { set x [expr $x+1]; exp_continue; }
   2606 	-re ".* 964      12345678" { set x [expr $x+1]; exp_continue; }
   2607 	-re ".* 964      1280" { set x [expr $x+1]; exp_continue; }
   2608 	-re ".* 965 1962 01756E28" { set x [expr $x+1]; exp_continue; }
   2609 	-re ".* 965      12341280" { set x [expr $x+1]; exp_continue; }
   2610 	-re ".* 966 196a 01766E28" { set x [expr $x+1]; exp_continue; }
   2611 	-re ".* 966      12341280" { set x [expr $x+1]; exp_continue; }
   2612 	-re ".* 967 1972 01776E28" { set x [expr $x+1]; exp_continue; }
   2613 	-re ".* 967      12341280" { set x [expr $x+1]; exp_continue; }
   2614 	-re ".* 968 197a 78256A28" { set x [expr $x+1]; exp_continue; }
   2615 	-re ".* 968      12345678" { set x [expr $x+1]; exp_continue; }
   2616 	-re ".* 968      1280" { set x [expr $x+1]; exp_continue; }
   2617 	-re ".* 969 1984 78266A28" { set x [expr $x+1]; exp_continue; }
   2618 	-re ".* 969      12345678" { set x [expr $x+1]; exp_continue; }
   2619 	-re ".* 969      1280" { set x [expr $x+1]; exp_continue; }
   2620 	-re ".* 970 198e 78276A28" { set x [expr $x+1]; exp_continue; }
   2621 	-re ".* 970      12345678" { set x [expr $x+1]; exp_continue; }
   2622 	-re ".* 970      1280" { set x [expr $x+1]; exp_continue; }
   2623 	-re ".* 971 1998 7F121280" { set x [expr $x+1]; exp_continue; }
   2624 	-re ".* 972 199c 6A181234" { set x [expr $x+1]; exp_continue; }
   2625 	-re ".* 972      1280" { set x [expr $x+1]; exp_continue; }
   2626 	-re ".* 973 19a2 6A381234" { set x [expr $x+1]; exp_continue; }
   2627 	-re ".* 973      56781280" { set x [expr $x+1]; exp_continue; }
   2628 	-re ".* 974              " {
   2629 	    if [expr $x == 37] then {
   2630 		pass "$testname: rotl.b ..."
   2631 	    } else {
   2632 		fail "$testname: rotl.b ... ($x)"
   2633 	    }
   2634 	}
   2635         default	{ fail "$testname: rotl.b ... ($x)" }
   2636     }
   2637 
   2638     set x 0
   2639     expect {
   2640 	-re ".* 975 19aa 1291" { set x [expr $x+1]; exp_continue; }
   2641 	-re ".* 976 19ac 7D901290" { set x [expr $x+1]; exp_continue; }
   2642 	-re ".* 977 19b0 01576918" { set x [expr $x+1]; exp_continue; }
   2643 	-re ".* 977      1290" { set x [expr $x+1]; exp_continue; }
   2644 	-re ".* 978 19b6 01576D18" { set x [expr $x+1]; exp_continue; }
   2645 	-re ".* 978      1290" { set x [expr $x+1]; exp_continue; }
   2646 	-re ".* 979 19bc 01546D18" { set x [expr $x+1]; exp_continue; }
   2647 	-re ".* 979      1290" { set x [expr $x+1]; exp_continue; }
   2648 	-re ".* 980 19c2 01566D18" { set x [expr $x+1]; exp_continue; }
   2649 	-re ".* 980      1290" { set x [expr $x+1]; exp_continue; }
   2650 	-re ".* 981 19c8 01556D18" { set x [expr $x+1]; exp_continue; }
   2651 	-re ".* 981      1290" { set x [expr $x+1]; exp_continue; }
   2652 	-re ".* 982 19ce 01546F18" { set x [expr $x+1]; exp_continue; }
   2653 	-re ".* 982      12341290" { set x [expr $x+1]; exp_continue; }
   2654 	-re ".* 983 19d6 78146B28" { set x [expr $x+1]; exp_continue; }
   2655 	-re ".* 983      12345678" { set x [expr $x+1]; exp_continue; }
   2656 	-re ".* 983      1290" { set x [expr $x+1]; exp_continue; }
   2657 	-re ".* 984 19e0 01556F28" { set x [expr $x+1]; exp_continue; }
   2658 	-re ".* 984      12341290" { set x [expr $x+1]; exp_continue; }
   2659 	-re ".* 985 19e8 01566F28" { set x [expr $x+1]; exp_continue; }
   2660 	-re ".* 985      12341290" { set x [expr $x+1]; exp_continue; }
   2661 	-re ".* 986 19f0 01576F28" { set x [expr $x+1]; exp_continue; }
   2662 	-re ".* 986      12341290" { set x [expr $x+1]; exp_continue; }
   2663 	-re ".* 987 19f8 78256B28" { set x [expr $x+1]; exp_continue; }
   2664 	-re ".* 987      12345678" { set x [expr $x+1]; exp_continue; }
   2665 	-re ".* 987      1290" { set x [expr $x+1]; exp_continue; }
   2666 	-re ".* 988 1a02 78266B28" { set x [expr $x+1]; exp_continue; }
   2667 	-re ".* 988      12345678" { set x [expr $x+1]; exp_continue; }
   2668 	-re ".* 988      1290" { set x [expr $x+1]; exp_continue; }
   2669 	-re ".* 989 1a0c 78276B28" { set x [expr $x+1]; exp_continue; }
   2670 	-re ".* 989      12345678" { set x [expr $x+1]; exp_continue; }
   2671 	-re ".* 989      1290" { set x [expr $x+1]; exp_continue; }
   2672 	-re ".* 990 1a16 6B181234" { set x [expr $x+1]; exp_continue; }
   2673 	-re ".* 990      1290" { set x [expr $x+1]; exp_continue; }
   2674 	-re ".* 991 1a1c 6B381234" { set x [expr $x+1]; exp_continue; }
   2675 	-re ".* 991      56781290" { set x [expr $x+1]; exp_continue; }
   2676 	-re ".* 992              " {
   2677 	    if [expr $x == 36] then {
   2678 		pass "$testname: rotl.w ..."
   2679 	    } else {
   2680 		fail "$testname: rotl.w ... ($x)"
   2681 	    }
   2682 	}
   2683         default	{ fail "$testname: rotl.w ... ($x)" }
   2684     }
   2685 
   2686     set x 0
   2687     expect {
   2688 	-re ".* 993 1a24 12B1" { set x [expr $x+1]; exp_continue; }
   2689 	-re ".* 994 1a26 01046918" { set x [expr $x+1]; exp_continue; }
   2690 	-re ".* 994      12B0" { set x [expr $x+1]; exp_continue; }
   2691 	-re ".* 995 1a2c 01076918" { set x [expr $x+1]; exp_continue; }
   2692 	-re ".* 995      12B0" { set x [expr $x+1]; exp_continue; }
   2693 	-re ".* 996 1a32 01046D18" { set x [expr $x+1]; exp_continue; }
   2694 	-re ".* 996      12B0" { set x [expr $x+1]; exp_continue; }
   2695 	-re ".* 997 1a38 01076D18" { set x [expr $x+1]; exp_continue; }
   2696 	-re ".* 997      12B0" { set x [expr $x+1]; exp_continue; }
   2697 	-re ".* 998 1a3e 01056D18" { set x [expr $x+1]; exp_continue; }
   2698 	-re ".* 998      12B0" { set x [expr $x+1]; exp_continue; }
   2699 	-re ".* 999 1a44 01066D18" { set x [expr $x+1]; exp_continue; }
   2700 	-re ".* 999      12B0" { set x [expr $x+1]; exp_continue; }
   2701 	-re ".* 1000 1a4a 01046F18" { set x [expr $x+1]; exp_continue; }
   2702 	-re ".* 1000      123412B0" { set x [expr $x+1]; exp_continue; }
   2703 	-re ".* 1001 1a52 78946B28" { set x [expr $x+1]; exp_continue; }
   2704 	-re ".* 1001      12345678" { set x [expr $x+1]; exp_continue; }
   2705 	-re ".* 1001      12B0" { set x [expr $x+1]; exp_continue; }
   2706 	-re ".* 1002 1a5c 01056F28" { set x [expr $x+1]; exp_continue; }
   2707 	-re ".* 1002      123412B0" { set x [expr $x+1]; exp_continue; }
   2708 	-re ".* 1003 1a64 01066F28" { set x [expr $x+1]; exp_continue; }
   2709 	-re ".* 1003      123412B0" { set x [expr $x+1]; exp_continue; }
   2710 	-re ".* 1004 1a6c 01076F28" { set x [expr $x+1]; exp_continue; }
   2711 	-re ".* 1004      123412B0" { set x [expr $x+1]; exp_continue; }
   2712 	-re ".* 1005 1a74 78A56B28" { set x [expr $x+1]; exp_continue; }
   2713 	-re ".* 1005      12345678" { set x [expr $x+1]; exp_continue; }
   2714 	-re ".* 1005      12B0" { set x [expr $x+1]; exp_continue; }
   2715 	-re ".* 1006 1a7e 78A66B28" { set x [expr $x+1]; exp_continue; }
   2716 	-re ".* 1006      12345678" { set x [expr $x+1]; exp_continue; }
   2717 	-re ".* 1006      12B0" { set x [expr $x+1]; exp_continue; }
   2718 	-re ".* 1007 1a88 78A76B28" { set x [expr $x+1]; exp_continue; }
   2719 	-re ".* 1007      12345678" { set x [expr $x+1]; exp_continue; }
   2720 	-re ".* 1007      12B0" { set x [expr $x+1]; exp_continue; }
   2721 	-re ".* 1008 1a92 01046B08" { set x [expr $x+1]; exp_continue; }
   2722 	-re ".* 1008      123412B0" { set x [expr $x+1]; exp_continue; }
   2723 	-re ".* 1009 1a9a 01046B28" { set x [expr $x+1]; exp_continue; }
   2724 	-re ".* 1009      12345678" { set x [expr $x+1]; exp_continue; }
   2725 	-re ".* 1009      12B0" { set x [expr $x+1]; exp_continue; }
   2726 	-re ".* 1010             " {
   2727 	    if [expr $x == 38] then {
   2728 		pass "$testname: rotl.l ..."
   2729 	    } else {
   2730 		fail "$testname: rotl.l ... ($x)"
   2731 	    }
   2732 	}
   2733         default	{ fail "$testname: rotl.l ... ($x)" }
   2734     }
   2735 
   2736     set x 0
   2737     expect {
   2738 	-re ".* 1011 1aa4 12C1" { set x [expr $x+1]; exp_continue; }
   2739 	-re ".* 1012 1aa6 7D1012C0" { set x [expr $x+1]; exp_continue; }
   2740 	-re ".* 1013 1aaa 01776818" { set x [expr $x+1]; exp_continue; }
   2741 	-re ".* 1013      12C0" { set x [expr $x+1]; exp_continue; }
   2742 	-re ".* 1014 1ab0 01746C18" { set x [expr $x+1]; exp_continue; }
   2743 	-re ".* 1014      12C0" { set x [expr $x+1]; exp_continue; }
   2744 	-re ".* 1015 1ab6 01776C18" { set x [expr $x+1]; exp_continue; }
   2745 	-re ".* 1015      12C0" { set x [expr $x+1]; exp_continue; }
   2746 	-re ".* 1016 1abc 01756C18" { set x [expr $x+1]; exp_continue; }
   2747 	-re ".* 1016      12C0" { set x [expr $x+1]; exp_continue; }
   2748 	-re ".* 1017 1ac2 01766C18" { set x [expr $x+1]; exp_continue; }
   2749 	-re ".* 1017      12C0" { set x [expr $x+1]; exp_continue; }
   2750 	-re ".* 1018 1ac8 01746E18" { set x [expr $x+1]; exp_continue; }
   2751 	-re ".* 1018      123412C0" { set x [expr $x+1]; exp_continue; }
   2752 	-re ".* 1019 1ad0 78146A28" { set x [expr $x+1]; exp_continue; }
   2753 	-re ".* 1019      12345678" { set x [expr $x+1]; exp_continue; }
   2754 	-re ".* 1019      12C0" { set x [expr $x+1]; exp_continue; }
   2755 	-re ".* 1020 1ada 01756E28" { set x [expr $x+1]; exp_continue; }
   2756 	-re ".* 1020      123412C0" { set x [expr $x+1]; exp_continue; }
   2757 	-re ".* 1021 1ae2 01766E28" { set x [expr $x+1]; exp_continue; }
   2758 	-re ".* 1021      123412C0" { set x [expr $x+1]; exp_continue; }
   2759 	-re ".* 1022 1aea 01776E28" { set x [expr $x+1]; exp_continue; }
   2760 	-re ".* 1022      123412C0" { set x [expr $x+1]; exp_continue; }
   2761 	-re ".* 1023 1af2 78256A28" { set x [expr $x+1]; exp_continue; }
   2762 	-re ".* 1023      12345678" { set x [expr $x+1]; exp_continue; }
   2763 	-re ".* 1023      12C0" { set x [expr $x+1]; exp_continue; }
   2764 	-re ".* 1024 1afc 78266A28" { set x [expr $x+1]; exp_continue; }
   2765 	-re ".* 1024      12345678" { set x [expr $x+1]; exp_continue; }
   2766 	-re ".* 1024      12C0" { set x [expr $x+1]; exp_continue; }
   2767 	-re ".* 1025 1b06 78276A28" { set x [expr $x+1]; exp_continue; }
   2768 	-re ".* 1025      12345678" { set x [expr $x+1]; exp_continue; }
   2769 	-re ".* 1025      12C0" { set x [expr $x+1]; exp_continue; }
   2770 	-re ".* 1026 1b10 7F1212C0" { set x [expr $x+1]; exp_continue; }
   2771 	-re ".* 1027 1b14 6A181234" { set x [expr $x+1]; exp_continue; }
   2772 	-re ".* 1027      12C0" { set x [expr $x+1]; exp_continue; }
   2773 	-re ".* 1028 1b1a 6A381234" { set x [expr $x+1]; exp_continue; }
   2774 	-re ".* 1028      567812C0" { set x [expr $x+1]; exp_continue; }
   2775 	-re ".* 1029             " {
   2776 	    if [expr $x == 37] then {
   2777 		pass "$testname: rotl.b #2, ..."
   2778 	    } else {
   2779 		fail "$testname: rotl.b #2, ... ($x)"
   2780 	    }
   2781 	}
   2782         default	{ fail "$testname: rotl.b #2, ... ($x)" }
   2783     }
   2784 
   2785     set x 0
   2786     expect {
   2787 	-re ".* 1030 1b22 12D1" { set x [expr $x+1]; exp_continue; }
   2788 	-re ".* 1031 1b24 7D9012D0" { set x [expr $x+1]; exp_continue; }
   2789 	-re ".* 1032 1b28 01576918" { set x [expr $x+1]; exp_continue; }
   2790 	-re ".* 1032      12D0" { set x [expr $x+1]; exp_continue; }
   2791 	-re ".* 1033 1b2e 01546D18" { set x [expr $x+1]; exp_continue; }
   2792 	-re ".* 1033      12D0" { set x [expr $x+1]; exp_continue; }
   2793 	-re ".* 1034 1b34 01576D18" { set x [expr $x+1]; exp_continue; }
   2794 	-re ".* 1034      12D0" { set x [expr $x+1]; exp_continue; }
   2795 	-re ".* 1035 1b3a 01556D18" { set x [expr $x+1]; exp_continue; }
   2796 	-re ".* 1035      12D0" { set x [expr $x+1]; exp_continue; }
   2797 	-re ".* 1036 1b40 01566D18" { set x [expr $x+1]; exp_continue; }
   2798 	-re ".* 1036      12D0" { set x [expr $x+1]; exp_continue; }
   2799 	-re ".* 1037 1b46 01546F18" { set x [expr $x+1]; exp_continue; }
   2800 	-re ".* 1037      123412D0" { set x [expr $x+1]; exp_continue; }
   2801 	-re ".* 1038 1b4e 78146B28" { set x [expr $x+1]; exp_continue; }
   2802 	-re ".* 1038      12345678" { set x [expr $x+1]; exp_continue; }
   2803 	-re ".* 1038      12D0" { set x [expr $x+1]; exp_continue; }
   2804 	-re ".* 1039 1b58 01556F28" { set x [expr $x+1]; exp_continue; }
   2805 	-re ".* 1039      123412D0" { set x [expr $x+1]; exp_continue; }
   2806 	-re ".* 1040 1b60 01566F28" { set x [expr $x+1]; exp_continue; }
   2807 	-re ".* 1040      123412D0" { set x [expr $x+1]; exp_continue; }
   2808 	-re ".* 1041 1b68 01576F28" { set x [expr $x+1]; exp_continue; }
   2809 	-re ".* 1041      123412D0" { set x [expr $x+1]; exp_continue; }
   2810 	-re ".* 1042 1b70 78256B28" { set x [expr $x+1]; exp_continue; }
   2811 	-re ".* 1042      12345678" { set x [expr $x+1]; exp_continue; }
   2812 	-re ".* 1042      12D0" { set x [expr $x+1]; exp_continue; }
   2813 	-re ".* 1043 1b7a 78266B28" { set x [expr $x+1]; exp_continue; }
   2814 	-re ".* 1043      12345678" { set x [expr $x+1]; exp_continue; }
   2815 	-re ".* 1043      12D0" { set x [expr $x+1]; exp_continue; }
   2816 	-re ".* 1044 1b84 78276B28" { set x [expr $x+1]; exp_continue; }
   2817 	-re ".* 1044      12345678" { set x [expr $x+1]; exp_continue; }
   2818 	-re ".* 1044      12D0" { set x [expr $x+1]; exp_continue; }
   2819 	-re ".* 1045 1b8e 6B181234" { set x [expr $x+1]; exp_continue; }
   2820 	-re ".* 1045      12D0" { set x [expr $x+1]; exp_continue; }
   2821 	-re ".* 1046 1b94 6B381234" { set x [expr $x+1]; exp_continue; }
   2822 	-re ".* 1046      567812D0" { set x [expr $x+1]; exp_continue; }
   2823 	-re ".* 1047             " {
   2824 	    if [expr $x == 36] then {
   2825 		pass "$testname: rotl.w #2, ..."
   2826 	    } else {
   2827 		fail "$testname: rotl.w #2, ... ($x)"
   2828 	    }
   2829 	}
   2830         default	{ fail "$testname: rotl.w #2, ... ($x)" }
   2831     }
   2832 
   2833     set x 0
   2834     expect {
   2835 	-re ".* 1048 1b9c 12F1" { set x [expr $x+1]; exp_continue; }
   2836 	-re ".* 1049 1b9e 01046918" { set x [expr $x+1]; exp_continue; }
   2837 	-re ".* 1049      12F0" { set x [expr $x+1]; exp_continue; }
   2838 	-re ".* 1050 1ba4 01076918" { set x [expr $x+1]; exp_continue; }
   2839 	-re ".* 1050      12F0" { set x [expr $x+1]; exp_continue; }
   2840 	-re ".* 1051 1baa 01046D18" { set x [expr $x+1]; exp_continue; }
   2841 	-re ".* 1051      12F0" { set x [expr $x+1]; exp_continue; }
   2842 	-re ".* 1052 1bb0 01076D18" { set x [expr $x+1]; exp_continue; }
   2843 	-re ".* 1052      12F0" { set x [expr $x+1]; exp_continue; }
   2844 	-re ".* 1053 1bb6 01056D18" { set x [expr $x+1]; exp_continue; }
   2845 	-re ".* 1053      12F0" { set x [expr $x+1]; exp_continue; }
   2846 	-re ".* 1054 1bbc 01066D18" { set x [expr $x+1]; exp_continue; }
   2847 	-re ".* 1054      12F0" { set x [expr $x+1]; exp_continue; }
   2848 	-re ".* 1055 1bc2 01046F18" { set x [expr $x+1]; exp_continue; }
   2849 	-re ".* 1055      123412F0" { set x [expr $x+1]; exp_continue; }
   2850 	-re ".* 1056 1bca 78946B28" { set x [expr $x+1]; exp_continue; }
   2851 	-re ".* 1056      12345678" { set x [expr $x+1]; exp_continue; }
   2852 	-re ".* 1056      12F0" { set x [expr $x+1]; exp_continue; }
   2853 	-re ".* 1057 1bd4 01056F28" { set x [expr $x+1]; exp_continue; }
   2854 	-re ".* 1057      123412F0" { set x [expr $x+1]; exp_continue; }
   2855 	-re ".* 1058 1bdc 01066F28" { set x [expr $x+1]; exp_continue; }
   2856 	-re ".* 1058      123412F0" { set x [expr $x+1]; exp_continue; }
   2857 	-re ".* 1059 1be4 01076F28" { set x [expr $x+1]; exp_continue; }
   2858 	-re ".* 1059      123412F0" { set x [expr $x+1]; exp_continue; }
   2859 	-re ".* 1060 1bec 78A56B28" { set x [expr $x+1]; exp_continue; }
   2860 	-re ".* 1060      12345678" { set x [expr $x+1]; exp_continue; }
   2861 	-re ".* 1060      12F0" { set x [expr $x+1]; exp_continue; }
   2862 	-re ".* 1061 1bf6 78A66B28" { set x [expr $x+1]; exp_continue; }
   2863 	-re ".* 1061      12345678" { set x [expr $x+1]; exp_continue; }
   2864 	-re ".* 1061      12F0" { set x [expr $x+1]; exp_continue; }
   2865 	-re ".* 1062 1c00 78A76B28" { set x [expr $x+1]; exp_continue; }
   2866 	-re ".* 1062      12345678" { set x [expr $x+1]; exp_continue; }
   2867 	-re ".* 1062      12F0" { set x [expr $x+1]; exp_continue; }
   2868 	-re ".* 1063 1c0a 01046B08" { set x [expr $x+1]; exp_continue; }
   2869 	-re ".* 1063      123412F0" { set x [expr $x+1]; exp_continue; }
   2870 	-re ".* 1064 1c12 01046B28" { set x [expr $x+1]; exp_continue; }
   2871 	-re ".* 1064      12345678" { set x [expr $x+1]; exp_continue; }
   2872 	-re ".* 1064      12F0" { set x [expr $x+1]; exp_continue; }
   2873 	-re ".* 1065             " {
   2874 	    if [expr $x == 38] then {
   2875 		pass "$testname: rotl.l #2, ..."
   2876 	    } else {
   2877 		fail "$testname: rotl.l #2, ... ($x)"
   2878 	    }
   2879 	}
   2880         default	{ fail "$testname: rotl.l #2, ... ($x)" }
   2881     }
   2882 
   2883     set x 0
   2884     expect {
   2885 	-re ".* 1066 1c1c 1381" { set x [expr $x+1]; exp_continue; }
   2886 	-re ".* 1067 1c1e 7D101380" { set x [expr $x+1]; exp_continue; }
   2887 	-re ".* 1068 1c22 01776818" { set x [expr $x+1]; exp_continue; }
   2888 	-re ".* 1068      1380" { set x [expr $x+1]; exp_continue; }
   2889 	-re ".* 1069 1c28 01746C18" { set x [expr $x+1]; exp_continue; }
   2890 	-re ".* 1069      1380" { set x [expr $x+1]; exp_continue; }
   2891 	-re ".* 1070 1c2e 01776C18" { set x [expr $x+1]; exp_continue; }
   2892 	-re ".* 1070      1380" { set x [expr $x+1]; exp_continue; }
   2893 	-re ".* 1071 1c34 01756C18" { set x [expr $x+1]; exp_continue; }
   2894 	-re ".* 1071      1380" { set x [expr $x+1]; exp_continue; }
   2895 	-re ".* 1072 1c3a 01766C18" { set x [expr $x+1]; exp_continue; }
   2896 	-re ".* 1072      1380" { set x [expr $x+1]; exp_continue; }
   2897 	-re ".* 1073 1c40 01746E18" { set x [expr $x+1]; exp_continue; }
   2898 	-re ".* 1073      12341380" { set x [expr $x+1]; exp_continue; }
   2899 	-re ".* 1074 1c48 78146A28" { set x [expr $x+1]; exp_continue; }
   2900 	-re ".* 1074      12345678" { set x [expr $x+1]; exp_continue; }
   2901 	-re ".* 1074      1380" { set x [expr $x+1]; exp_continue; }
   2902 	-re ".* 1075 1c52 01756E28" { set x [expr $x+1]; exp_continue; }
   2903 	-re ".* 1075      12341380" { set x [expr $x+1]; exp_continue; }
   2904 	-re ".* 1076 1c5a 01766E28" { set x [expr $x+1]; exp_continue; }
   2905 	-re ".* 1076      12341380" { set x [expr $x+1]; exp_continue; }
   2906 	-re ".* 1077 1c62 01776E28" { set x [expr $x+1]; exp_continue; }
   2907 	-re ".* 1077      12341380" { set x [expr $x+1]; exp_continue; }
   2908 	-re ".* 1078 1c6a 78256A28" { set x [expr $x+1]; exp_continue; }
   2909 	-re ".* 1078      12345678" { set x [expr $x+1]; exp_continue; }
   2910 	-re ".* 1078      1380" { set x [expr $x+1]; exp_continue; }
   2911 	-re ".* 1079 1c74 78266A28" { set x [expr $x+1]; exp_continue; }
   2912 	-re ".* 1079      12345678" { set x [expr $x+1]; exp_continue; }
   2913 	-re ".* 1079      1380" { set x [expr $x+1]; exp_continue; }
   2914 	-re ".* 1080 1c7e 78276A28" { set x [expr $x+1]; exp_continue; }
   2915 	-re ".* 1080      12345678" { set x [expr $x+1]; exp_continue; }
   2916 	-re ".* 1080      1380" { set x [expr $x+1]; exp_continue; }
   2917 	-re ".* 1081 1c88 7F121380" { set x [expr $x+1]; exp_continue; }
   2918 	-re ".* 1082 1c8c 6A181234" { set x [expr $x+1]; exp_continue; }
   2919 	-re ".* 1082      1380" { set x [expr $x+1]; exp_continue; }
   2920 	-re ".* 1083 1c92 6A381234" { set x [expr $x+1]; exp_continue; }
   2921 	-re ".* 1083      56781380" { set x [expr $x+1]; exp_continue; }
   2922 	-re ".* 1084             " {
   2923 	    if [expr $x == 37] then {
   2924 		pass "$testname: rotr.b ..."
   2925 	    } else {
   2926 		fail "$testname: rotr.b ... ($x)"
   2927 	    }
   2928 	}
   2929         default	{ fail "$testname: rotr.b ... ($x)" }
   2930     }
   2931 
   2932     set x 0
   2933     expect {
   2934 	-re ".* 1085 1c9a 1391" { set x [expr $x+1]; exp_continue; }
   2935 	-re ".* 1086 1c9c 7D901390" { set x [expr $x+1]; exp_continue; }
   2936 	-re ".* 1087 1ca0 01576918" { set x [expr $x+1]; exp_continue; }
   2937 	-re ".* 1087      1390" { set x [expr $x+1]; exp_continue; }
   2938 	-re ".* 1088 1ca6 01576D18" { set x [expr $x+1]; exp_continue; }
   2939 	-re ".* 1088      1390" { set x [expr $x+1]; exp_continue; }
   2940 	-re ".* 1089 1cac 01546D18" { set x [expr $x+1]; exp_continue; }
   2941 	-re ".* 1089      1390" { set x [expr $x+1]; exp_continue; }
   2942 	-re ".* 1090 1cb2 01566D18" { set x [expr $x+1]; exp_continue; }
   2943 	-re ".* 1090      1390" { set x [expr $x+1]; exp_continue; }
   2944 	-re ".* 1091 1cb8 01556D18" { set x [expr $x+1]; exp_continue; }
   2945 	-re ".* 1091      1390" { set x [expr $x+1]; exp_continue; }
   2946 	-re ".* 1092 1cbe 01546F18" { set x [expr $x+1]; exp_continue; }
   2947 	-re ".* 1092      12341390" { set x [expr $x+1]; exp_continue; }
   2948 	-re ".* 1093 1cc6 78146B28" { set x [expr $x+1]; exp_continue; }
   2949 	-re ".* 1093      12345678" { set x [expr $x+1]; exp_continue; }
   2950 	-re ".* 1093      1390" { set x [expr $x+1]; exp_continue; }
   2951 	-re ".* 1094 1cd0 01556F28" { set x [expr $x+1]; exp_continue; }
   2952 	-re ".* 1094      12341390" { set x [expr $x+1]; exp_continue; }
   2953 	-re ".* 1095 1cd8 01566F28" { set x [expr $x+1]; exp_continue; }
   2954 	-re ".* 1095      12341390" { set x [expr $x+1]; exp_continue; }
   2955 	-re ".* 1096 1ce0 01576F28" { set x [expr $x+1]; exp_continue; }
   2956 	-re ".* 1096      12341390" { set x [expr $x+1]; exp_continue; }
   2957 	-re ".* 1097 1ce8 78256B28" { set x [expr $x+1]; exp_continue; }
   2958 	-re ".* 1097      12345678" { set x [expr $x+1]; exp_continue; }
   2959 	-re ".* 1097      1390" { set x [expr $x+1]; exp_continue; }
   2960 	-re ".* 1098 1cf2 78266B28" { set x [expr $x+1]; exp_continue; }
   2961 	-re ".* 1098      12345678" { set x [expr $x+1]; exp_continue; }
   2962 	-re ".* 1098      1390" { set x [expr $x+1]; exp_continue; }
   2963 	-re ".* 1099 1cfc 78276B28" { set x [expr $x+1]; exp_continue; }
   2964 	-re ".* 1099      12345678" { set x [expr $x+1]; exp_continue; }
   2965 	-re ".* 1099      1390" { set x [expr $x+1]; exp_continue; }
   2966 	-re ".* 1100 1d06 6B181234" { set x [expr $x+1]; exp_continue; }
   2967 	-re ".* 1100      1390" { set x [expr $x+1]; exp_continue; }
   2968 	-re ".* 1101 1d0c 6B381234" { set x [expr $x+1]; exp_continue; }
   2969 	-re ".* 1101      56781390" { set x [expr $x+1]; exp_continue; }
   2970 	-re ".* 1102             " {
   2971 	    if [expr $x == 36] then {
   2972 		pass "$testname: rotr.w ..."
   2973 	    } else {
   2974 		fail "$testname: rotr.w ... ($x)"
   2975 	    }
   2976 	}
   2977         default	{ fail "$testname: rotr.w ... ($x)" }
   2978     }
   2979 
   2980     set x 0
   2981     expect {
   2982 	-re ".* 1103 1d14 13B1" { set x [expr $x+1]; exp_continue; }
   2983 	-re ".* 1104 1d16 01046918" { set x [expr $x+1]; exp_continue; }
   2984 	-re ".* 1104      13B0" { set x [expr $x+1]; exp_continue; }
   2985 	-re ".* 1105 1d1c 01076918" { set x [expr $x+1]; exp_continue; }
   2986 	-re ".* 1105      13B0" { set x [expr $x+1]; exp_continue; }
   2987 	-re ".* 1106 1d22 01046D18" { set x [expr $x+1]; exp_continue; }
   2988 	-re ".* 1106      13B0" { set x [expr $x+1]; exp_continue; }
   2989 	-re ".* 1107 1d28 01076D18" { set x [expr $x+1]; exp_continue; }
   2990 	-re ".* 1107      13B0" { set x [expr $x+1]; exp_continue; }
   2991 	-re ".* 1108 1d2e 01056D18" { set x [expr $x+1]; exp_continue; }
   2992 	-re ".* 1108      13B0" { set x [expr $x+1]; exp_continue; }
   2993 	-re ".* 1109 1d34 01066D18" { set x [expr $x+1]; exp_continue; }
   2994 	-re ".* 1109      13B0" { set x [expr $x+1]; exp_continue; }
   2995 	-re ".* 1110 1d3a 01046F18" { set x [expr $x+1]; exp_continue; }
   2996 	-re ".* 1110      123413B0" { set x [expr $x+1]; exp_continue; }
   2997 	-re ".* 1111 1d42 78946B28" { set x [expr $x+1]; exp_continue; }
   2998 	-re ".* 1111      12345678" { set x [expr $x+1]; exp_continue; }
   2999 	-re ".* 1111      13B0" { set x [expr $x+1]; exp_continue; }
   3000 	-re ".* 1112 1d4c 01056F28" { set x [expr $x+1]; exp_continue; }
   3001 	-re ".* 1112      123413B0" { set x [expr $x+1]; exp_continue; }
   3002 	-re ".* 1113 1d54 01066F28" { set x [expr $x+1]; exp_continue; }
   3003 	-re ".* 1113      123413B0" { set x [expr $x+1]; exp_continue; }
   3004 	-re ".* 1114 1d5c 01076F28" { set x [expr $x+1]; exp_continue; }
   3005 	-re ".* 1114      123413B0" { set x [expr $x+1]; exp_continue; }
   3006 	-re ".* 1115 1d64 78A56B28" { set x [expr $x+1]; exp_continue; }
   3007 	-re ".* 1115      12345678" { set x [expr $x+1]; exp_continue; }
   3008 	-re ".* 1115      13B0" { set x [expr $x+1]; exp_continue; }
   3009 	-re ".* 1116 1d6e 78A66B28" { set x [expr $x+1]; exp_continue; }
   3010 	-re ".* 1116      12345678" { set x [expr $x+1]; exp_continue; }
   3011 	-re ".* 1116      13B0" { set x [expr $x+1]; exp_continue; }
   3012 	-re ".* 1117 1d78 78A76B28" { set x [expr $x+1]; exp_continue; }
   3013 	-re ".* 1117      12345678" { set x [expr $x+1]; exp_continue; }
   3014 	-re ".* 1117      13B0" { set x [expr $x+1]; exp_continue; }
   3015 	-re ".* 1118 1d82 01046B08" { set x [expr $x+1]; exp_continue; }
   3016 	-re ".* 1118      123413B0" { set x [expr $x+1]; exp_continue; }
   3017 	-re ".* 1119 1d8a 01046B28" { set x [expr $x+1]; exp_continue; }
   3018 	-re ".* 1119      12345678" { set x [expr $x+1]; exp_continue; }
   3019 	-re ".* 1119      13B0" { set x [expr $x+1]; exp_continue; }
   3020 	-re ".* 1120             " {
   3021 	    if [expr $x == 38] then {
   3022 		pass "$testname: rotr.l ..."
   3023 	    } else {
   3024 		fail "$testname: rotr.l ... ($x)"
   3025 	    }
   3026 	}
   3027         default	{ fail "$testname: rotr.l ... ($x)" }
   3028     }
   3029 
   3030     set x 0
   3031     expect {
   3032 	-re ".* 1121 1d94 13C1" { set x [expr $x+1]; exp_continue; }
   3033 	-re ".* 1122 1d96 7D1013C0" { set x [expr $x+1]; exp_continue; }
   3034 	-re ".* 1123 1d9a 01776818" { set x [expr $x+1]; exp_continue; }
   3035 	-re ".* 1123      13C0" { set x [expr $x+1]; exp_continue; }
   3036 	-re ".* 1124 1da0 01746C18" { set x [expr $x+1]; exp_continue; }
   3037 	-re ".* 1124      13C0" { set x [expr $x+1]; exp_continue; }
   3038 	-re ".* 1125 1da6 01776C18" { set x [expr $x+1]; exp_continue; }
   3039 	-re ".* 1125      13C0" { set x [expr $x+1]; exp_continue; }
   3040 	-re ".* 1126 1dac 01756C18" { set x [expr $x+1]; exp_continue; }
   3041 	-re ".* 1126      13C0" { set x [expr $x+1]; exp_continue; }
   3042 	-re ".* 1127 1db2 01766C18" { set x [expr $x+1]; exp_continue; }
   3043 	-re ".* 1127      13C0" { set x [expr $x+1]; exp_continue; }
   3044 	-re ".* 1128 1db8 01746E18" { set x [expr $x+1]; exp_continue; }
   3045 	-re ".* 1128      123413C0" { set x [expr $x+1]; exp_continue; }
   3046 	-re ".* 1129 1dc0 78146A28" { set x [expr $x+1]; exp_continue; }
   3047 	-re ".* 1129      12345678" { set x [expr $x+1]; exp_continue; }
   3048 	-re ".* 1129      13C0" { set x [expr $x+1]; exp_continue; }
   3049 	-re ".* 1130 1dca 01756E28" { set x [expr $x+1]; exp_continue; }
   3050 	-re ".* 1130      123413C0" { set x [expr $x+1]; exp_continue; }
   3051 	-re ".* 1131 1dd2 01766E28" { set x [expr $x+1]; exp_continue; }
   3052 	-re ".* 1131      123413C0" { set x [expr $x+1]; exp_continue; }
   3053 	-re ".* 1132 1dda 01776E28" { set x [expr $x+1]; exp_continue; }
   3054 	-re ".* 1132      123413C0" { set x [expr $x+1]; exp_continue; }
   3055 	-re ".* 1133 1de2 78256A28" { set x [expr $x+1]; exp_continue; }
   3056 	-re ".* 1133      12345678" { set x [expr $x+1]; exp_continue; }
   3057 	-re ".* 1133      13C0" { set x [expr $x+1]; exp_continue; }
   3058 	-re ".* 1134 1dec 78266A28" { set x [expr $x+1]; exp_continue; }
   3059 	-re ".* 1134      12345678" { set x [expr $x+1]; exp_continue; }
   3060 	-re ".* 1134      13C0" { set x [expr $x+1]; exp_continue; }
   3061 	-re ".* 1135 1df6 78276A28" { set x [expr $x+1]; exp_continue; }
   3062 	-re ".* 1135      12345678" { set x [expr $x+1]; exp_continue; }
   3063 	-re ".* 1135      13C0" { set x [expr $x+1]; exp_continue; }
   3064 	-re ".* 1136 1e00 7F1213C0" { set x [expr $x+1]; exp_continue; }
   3065 	-re ".* 1137 1e04 6A181234" { set x [expr $x+1]; exp_continue; }
   3066 	-re ".* 1137      13C0" { set x [expr $x+1]; exp_continue; }
   3067 	-re ".* 1138 1e0a 6A381234" { set x [expr $x+1]; exp_continue; }
   3068 	-re ".* 1138      567813C0" { set x [expr $x+1]; exp_continue; }
   3069 	-re ".* 1139             " {
   3070 	    if [expr $x == 37] then {
   3071 		pass "$testname: rotr.b #2, ..."
   3072 	    } else {
   3073 		fail "$testname: rotr.b #2, ... ($x)"
   3074 	    }
   3075 	}
   3076         default	{ fail "$testname: rotr.b #2, ... ($x)" }
   3077     }
   3078 
   3079     set x 0
   3080     expect {
   3081 	-re ".* 1140 1e12 13D1" { set x [expr $x+1]; exp_continue; }
   3082 	-re ".* 1141 1e14 7D9013D0" { set x [expr $x+1]; exp_continue; }
   3083 	-re ".* 1142 1e18 01576918" { set x [expr $x+1]; exp_continue; }
   3084 	-re ".* 1142      13D0" { set x [expr $x+1]; exp_continue; }
   3085 	-re ".* 1143 1e1e 01546D18" { set x [expr $x+1]; exp_continue; }
   3086 	-re ".* 1143      13D0" { set x [expr $x+1]; exp_continue; }
   3087 	-re ".* 1144 1e24 01576D18" { set x [expr $x+1]; exp_continue; }
   3088 	-re ".* 1144      13D0" { set x [expr $x+1]; exp_continue; }
   3089 	-re ".* 1145 1e2a 01556D18" { set x [expr $x+1]; exp_continue; }
   3090 	-re ".* 1145      13D0" { set x [expr $x+1]; exp_continue; }
   3091 	-re ".* 1146 1e30 01566D18" { set x [expr $x+1]; exp_continue; }
   3092 	-re ".* 1146      13D0" { set x [expr $x+1]; exp_continue; }
   3093 	-re ".* 1147 1e36 01546F18" { set x [expr $x+1]; exp_continue; }
   3094 	-re ".* 1147      123413D0" { set x [expr $x+1]; exp_continue; }
   3095 	-re ".* 1148 1e3e 78146B28" { set x [expr $x+1]; exp_continue; }
   3096 	-re ".* 1148      12345678" { set x [expr $x+1]; exp_continue; }
   3097 	-re ".* 1148      13D0" { set x [expr $x+1]; exp_continue; }
   3098 	-re ".* 1149 1e48 01556F28" { set x [expr $x+1]; exp_continue; }
   3099 	-re ".* 1149      123413D0" { set x [expr $x+1]; exp_continue; }
   3100 	-re ".* 1150 1e50 01566F28" { set x [expr $x+1]; exp_continue; }
   3101 	-re ".* 1150      123413D0" { set x [expr $x+1]; exp_continue; }
   3102 	-re ".* 1151 1e58 01576F28" { set x [expr $x+1]; exp_continue; }
   3103 	-re ".* 1151      123413D0" { set x [expr $x+1]; exp_continue; }
   3104 	-re ".* 1152 1e60 78256B28" { set x [expr $x+1]; exp_continue; }
   3105 	-re ".* 1152      12345678" { set x [expr $x+1]; exp_continue; }
   3106 	-re ".* 1152      13D0" { set x [expr $x+1]; exp_continue; }
   3107 	-re ".* 1153 1e6a 78266B28" { set x [expr $x+1]; exp_continue; }
   3108 	-re ".* 1153      12345678" { set x [expr $x+1]; exp_continue; }
   3109 	-re ".* 1153      13D0" { set x [expr $x+1]; exp_continue; }
   3110 	-re ".* 1154 1e74 78276B28" { set x [expr $x+1]; exp_continue; }
   3111 	-re ".* 1154      12345678" { set x [expr $x+1]; exp_continue; }
   3112 	-re ".* 1154      13D0" { set x [expr $x+1]; exp_continue; }
   3113 	-re ".* 1155 1e7e 6B181234" { set x [expr $x+1]; exp_continue; }
   3114 	-re ".* 1155      13D0" { set x [expr $x+1]; exp_continue; }
   3115 	-re ".* 1156 1e84 6B381234" { set x [expr $x+1]; exp_continue; }
   3116 	-re ".* 1156      567813D0" { set x [expr $x+1]; exp_continue; }
   3117 	-re ".* 1157             " {
   3118 	    if [expr $x == 36] then {
   3119 		pass "$testname: rotr.w #2, ..."
   3120 	    } else {
   3121 		fail "$testname: rotr.w #2, ... ($x)"
   3122 	    }
   3123 	}
   3124         default	{ fail "$testname: rotr.w #2, ... ($x)" }
   3125     }
   3126 
   3127     set x 0
   3128     expect {
   3129 	-re ".* 1158 1e8c 13F1" { set x [expr $x+1]; exp_continue; }
   3130 	-re ".* 1159 1e8e 01046918" { set x [expr $x+1]; exp_continue; }
   3131 	-re ".* 1159      13F0" { set x [expr $x+1]; exp_continue; }
   3132 	-re ".* 1160 1e94 01076918" { set x [expr $x+1]; exp_continue; }
   3133 	-re ".* 1160      13F0" { set x [expr $x+1]; exp_continue; }
   3134 	-re ".* 1161 1e9a 01046D18" { set x [expr $x+1]; exp_continue; }
   3135 	-re ".* 1161      13F0" { set x [expr $x+1]; exp_continue; }
   3136 	-re ".* 1162 1ea0 01076D18" { set x [expr $x+1]; exp_continue; }
   3137 	-re ".* 1162      13F0" { set x [expr $x+1]; exp_continue; }
   3138 	-re ".* 1163 1ea6 01056D18" { set x [expr $x+1]; exp_continue; }
   3139 	-re ".* 1163      13F0" { set x [expr $x+1]; exp_continue; }
   3140 	-re ".* 1164 1eac 01066D18" { set x [expr $x+1]; exp_continue; }
   3141 	-re ".* 1164      13F0" { set x [expr $x+1]; exp_continue; }
   3142 	-re ".* 1165 1eb2 01046F18" { set x [expr $x+1]; exp_continue; }
   3143 	-re ".* 1165      123413F0" { set x [expr $x+1]; exp_continue; }
   3144 	-re ".* 1166 1eba 78946B28" { set x [expr $x+1]; exp_continue; }
   3145 	-re ".* 1166      12345678" { set x [expr $x+1]; exp_continue; }
   3146 	-re ".* 1166      13F0" { set x [expr $x+1]; exp_continue; }
   3147 	-re ".* 1167 1ec4 01056F28" { set x [expr $x+1]; exp_continue; }
   3148 	-re ".* 1167      123413F0" { set x [expr $x+1]; exp_continue; }
   3149 	-re ".* 1168 1ecc 01066F28" { set x [expr $x+1]; exp_continue; }
   3150 	-re ".* 1168      123413F0" { set x [expr $x+1]; exp_continue; }
   3151 	-re ".* 1169 1ed4 01076F28" { set x [expr $x+1]; exp_continue; }
   3152 	-re ".* 1169      123413F0" { set x [expr $x+1]; exp_continue; }
   3153 	-re ".* 1170 1edc 78A56B28" { set x [expr $x+1]; exp_continue; }
   3154 	-re ".* 1170      12345678" { set x [expr $x+1]; exp_continue; }
   3155 	-re ".* 1170      13F0" { set x [expr $x+1]; exp_continue; }
   3156 	-re ".* 1171 1ee6 78A66B28" { set x [expr $x+1]; exp_continue; }
   3157 	-re ".* 1171      12345678" { set x [expr $x+1]; exp_continue; }
   3158 	-re ".* 1171      13F0" { set x [expr $x+1]; exp_continue; }
   3159 	-re ".* 1172 1ef0 78A76B28" { set x [expr $x+1]; exp_continue; }
   3160 	-re ".* 1172      12345678" { set x [expr $x+1]; exp_continue; }
   3161 	-re ".* 1172      13F0" { set x [expr $x+1]; exp_continue; }
   3162 	-re ".* 1173 1efa 01046B08" { set x [expr $x+1]; exp_continue; }
   3163 	-re ".* 1173      123413F0" { set x [expr $x+1]; exp_continue; }
   3164 	-re ".* 1174 1f02 01046B28" { set x [expr $x+1]; exp_continue; }
   3165 	-re ".* 1174      12345678" { set x [expr $x+1]; exp_continue; }
   3166 	-re ".* 1174      13F0" { set x [expr $x+1]; exp_continue; }
   3167 	-re ".* 1175             " {
   3168 	    if [expr $x == 38] then {
   3169 		pass "$testname: rotr.l #2, ..."
   3170 	    } else {
   3171 		fail "$testname: rotr.l #2, ... ($x)"
   3172 	    }
   3173 	}
   3174         default	{ fail "$testname: rotr.l #2, ... ($x)" }
   3175     }
   3176 
   3177     # This was intended to do any cleanup necessary.
   3178     # It kinda looks like it isn't needed, but just
   3179     # in case, please keep it in for now.
   3180 
   3181     gas_finish
   3182 
   3183 }
   3184 
   3185 if [istarget h8300*-*-elf] then {
   3186     # Test advanced h8300sx instructions.
   3187     do_t11_logs_test
   3188 }
   3189 
   3190