1\ Welcome to detok - OpenBIOS detokenizer v1.0.2 2\ (C) Copyright 2001-2006 Stefan Reinauer. 3\ (C) Copyright 2006 coresystems GmbH <info@coresystems.de> 4\ (C) Copyright 2005 IBM Corporation. All Rights Reserved. 5\ Written by Stefan Reinauer, <stepan@openbios.org> 6\ This program is free software; you may redistribute it under the terms of 7\ the GNU General Public License v2. This program has absolutely no warranty. 8\ 9 0: start1 ( 0x0f1 ) ( 16-bit offsets) 10 1: format: 0x08 11 2: checksum: 0x55d2 (Ok) 12 4: len: 0x0133 ( 307 bytes) 13 8: b(lit) ( 0x010 ) 0xdeaf 14 13: new-token ( 0x0b5 ) 0x800 15 16: b(constant) ( 0x0ba ) 16 17: new-token ( 0x0b5 ) 0x801 17 20: b(:) ( 0x0b7 ) 18 21: 3 ( 0x0a8 ) 19 22: 2 ( 0x0a7 ) 20 23: 2 ( 0x0a7 ) 21 24: @ ( 0x06d ) 22 25: b(lit) ( 0x010 ) 0x28 23 30: * ( 0x020 ) 24 31: 3 ( 0x0a8 ) 25 32: ! ( 0x072 ) 26 33: 3 ( 0x0a8 ) 27 34: @ ( 0x06d ) 28 35: alloc-mem ( 0x08b ) 29 36: b(lit) ( 0x010 ) 0x4 30 41: ! ( 0x072 ) 31 42: 1 ( 0x0a6 ) 32 43: @ ( 0x06d ) 33 44: base ( 0x0a0 ) 34 45: @ ( 0x06d ) 35 46: swap ( 0x049 ) 36 47: b(lit) ( 0x010 ) 0x10 37 52: base ( 0x0a0 ) 38 53: ! ( 0x072 ) 39 54: . ( 0x09d ) 40 55: base ( 0x0a0 ) 41 56: ! ( 0x072 ) 42 57: type ( 0x090 ) 43 58: 0 ( 0x0a5 ) 44 59: @ ( 0x06d ) 45 60: base ( 0x0a0 ) 46 61: @ ( 0x06d ) 47 62: swap ( 0x049 ) 48 63: b(lit) ( 0x010 ) 0xa 49 68: base ( 0x0a0 ) 50 69: ! ( 0x072 ) 51 70: . ( 0x09d ) 52 71: base ( 0x0a0 ) 53 72: ! ( 0x072 ) 54 73: type ( 0x090 ) 55 74: b(lit) ( 0x010 ) 0x4 56 79: @ ( 0x06d ) 57 80: 3 ( 0x0a8 ) 58 81: @ ( 0x06d ) 59 82: b(lit) ( 0x010 ) 0x4 60 87: @ ( 0x06d ) 61 88: count ( 0x084 ) 62 89: b(lit) ( 0x010 ) 0x5 63 94: b(;) ( 0x0c2 ) 64 95: new-token ( 0x0b5 ) 0x802 65 98: b(:) ( 0x0b7 ) 66 99: 3 ( 0x0a8 ) 67 100: 3 ( 0x0a8 ) 68 101: b(") ( 0x012 ) ( len=6 ) 69 " Nyuk! " 70 109: type ( 0x090 ) 71 110: 0 ( 0x0a5 ) 72 111: @ ( 0x06d ) 73 112: base ( 0x0a0 ) 74 113: @ ( 0x06d ) 75 114: swap ( 0x049 ) 76 115: b(lit) ( 0x010 ) 0x10 77 120: base ( 0x0a0 ) 78 121: ! ( 0x072 ) 79 122: . ( 0x09d ) 80 123: base ( 0x0a0 ) 81 124: ! ( 0x072 ) 82 125: cr ( 0x092 ) 83 126: b(") ( 0x012 ) ( len=0xc [12 bytes] ) 84 " Why, you... " 85 140: type ( 0x090 ) 86 141: 2 ( 0x0a7 ) 87 142: @ ( 0x06d ) 88 143: base ( 0x0a0 ) 89 144: @ ( 0x06d ) 90 145: swap ( 0x049 ) 91 146: b(lit) ( 0x010 ) 0xa 92 151: base ( 0x0a0 ) 93 152: ! ( 0x072 ) 94 153: . ( 0x09d ) 95 154: base ( 0x0a0 ) 96 155: ! ( 0x072 ) 97 156: cr ( 0x092 ) 98 157: b(") ( 0x012 ) ( len=6 ) 99 " Ouch! " 100 165: type ( 0x090 ) 101 166: 1 ( 0x0a6 ) 102 167: @ ( 0x06d ) 103 168: . ( 0x09d ) 104 169: 0 ( 0x0a5 ) 105 170: @ ( 0x06d ) 106 171: 2 ( 0x0a7 ) 107 172: @ ( 0x06d ) 108 173: + ( 0x01e ) 109 174: 3 ( 0x0a8 ) 110 175: ! ( 0x072 ) 111 176: 1 ( 0x0a6 ) 112 177: @ ( 0x06d ) 113 178: 2 ( 0x0a7 ) 114 179: @ ( 0x06d ) 115 180: + ( 0x01e ) 116 181: b(lit) ( 0x010 ) 0x4 117 186: ! ( 0x072 ) 118 187: b(lit) ( 0x010 ) 0x4 119 192: @ ( 0x06d ) 120 193: 0 ( 0x0a5 ) 121 194: @ ( 0x06d ) 122 195: + ( 0x01e ) 123 196: b(lit) ( 0x010 ) 0x5 124 201: ! ( 0x072 ) 125 202: b(lit) ( 0x010 ) 0x5 126 207: @ ( 0x06d ) 127 208: b(lit) ( 0x010 ) 0x4 128 213: @ ( 0x06d ) 129 214: b(lit) ( 0x010 ) 0x8 130 219: (unnamed-fcode) [0x801] 131 221: type ( 0x090 ) 132 222: free-mem ( 0x08c ) 133 223: 2 ( 0x0a7 ) 134 224: @ ( 0x06d ) 135 225: 1 ( 0x0a6 ) 136 226: @ ( 0x06d ) 137 227: b(lit) ( 0x010 ) 0x8 138 232: (unnamed-fcode) [0x801] 139 234: type ( 0x090 ) 140 235: free-mem ( 0x08c ) 141 236: 0 ( 0x0a5 ) 142 237: @ ( 0x06d ) 143 238: b(lit) ( 0x010 ) 0x4 144 243: @ ( 0x06d ) 145 244: b(lit) ( 0x010 ) 0x8 146 249: (unnamed-fcode) [0x801] 147 251: type ( 0x090 ) 148 252: free-mem ( 0x08c ) 149 253: 1 ( 0x0a6 ) 150 254: @ ( 0x06d ) 151 255: 3 ( 0x0a8 ) 152 256: @ ( 0x06d ) 153 257: b(lit) ( 0x010 ) 0x6 154 262: b(;) ( 0x0c2 ) 155 263: new-token ( 0x0b5 ) 0x803 156 266: b(:) ( 0x0b7 ) 157 267: b(lit) ( 0x010 ) 0x7b 158 272: b(lit) ( 0x010 ) 0x1c8 159 277: b(lit) ( 0x010 ) 0x315 160 282: (unnamed-fcode) [0x802] 161 284: b(;) ( 0x0c2 ) 162 285: new-token ( 0x0b5 ) 0x804 163 288: b(:) ( 0x0b7 ) 164 289: 0 ( 0x0a5 ) 165 290: @ ( 0x06d ) 166 291: 1 ( 0x0a6 ) 167 292: @ ( 0x06d ) 168 293: + ( 0x01e ) 169 294: dup ( 0x047 ) 170 295: 2 ( 0x0a7 ) 171 296: ! ( 0x072 ) 172 297: 2 ( 0x0a7 ) 173 298: @ ( 0x06d ) 174 299: 3 ( 0x0a8 ) 175 300: b(;) ( 0x0c2 ) 176 301: b(lit) ( 0x010 ) 0xbeeffece 177 306: end0 ( 0x000 ) 178\ Detokenization finished normally after 307 bytes. 179End of file. 180 181