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: 0x65dc (Ok) 12 4: len: 0x013e ( 318 bytes) 13 8: 2 ( 0x0a7 ) 14 9: b(<mark) ( 0x0b1 ) 15 10: 1 ( 0x0a6 ) 16 11: - ( 0x01f ) 17 12: dup ( 0x047 ) 18 13: b?branch ( 0x014 ) 0x000c ( =dec 12 dest = 26 ) 19 16: b(lit) ( 0x010 ) 0x4 20 21: c, ( 0x0d0 ) 21 22: bbranch ( 0x013 ) 0xfff3 ( =dec -13 dest = 10 ) 22 25: b(>resolve) ( 0x0b2 ) 23 26: b?branch ( 0x014 ) 0x0000 ( dest = 27 ) 24\ Error: Unresolved offset. 25 29: named-token ( 0x0b6 ) anawanna 0x800 26 41: b(:) ( 0x0b7 ) 27 42: b(lit) ( 0x010 ) 0x123 28 47: b(lit) ( 0x010 ) 0x456 29 52: b(>resolve) ( 0x0b2 ) 30 53: b(;) ( 0x0c2 ) 31 54: named-token ( 0x0b6 ) granada 0x801 32 65: b(:) ( 0x0b7 ) 33 66: b(lit) ( 0x010 ) 0x789 34 71: b(<mark) ( 0x0b1 ) 35 72: 0 ( 0x0a5 ) 36 73: 1 ( 0x0a6 ) 37 74: 2 ( 0x0a7 ) 38 75: 3 ( 0x0a8 ) 39 76: b(lit) ( 0x010 ) 0x1011 40 81: b(<mark) ( 0x0b1 ) 41 82: 2 ( 0x0a7 ) 42 83: 1 ( 0x0a6 ) 43 84: 0 ( 0x0a5 ) 44 85: 3 ( 0x0a8 ) 45 86: 2swap ( 0x055 ) 46 87: swap ( 0x049 ) 47 88: rot ( 0x04a ) 48 89: bbranch ( 0x013 ) 0x0000 ( dest = 90 ) 49\ Error: Unresolved offset. 50 92: b(>resolve) ( 0x0b2 ) 51 93: 3 ( 0x0a8 ) 52 94: 1 ( 0x0a6 ) 53 95: 0 ( 0x0a5 ) 54 96: 2 ( 0x0a7 ) 55 97: 2swap ( 0x055 ) 56 98: -rot ( 0x04b ) 57 99: b(loop) ( 0x015 ) 0x0000 ( dest = 100 ) 58\ Error: Unresolved offset. 59 102: 2 ( 0x0a7 ) 60 103: 3 ( 0x0a8 ) 61 104: 0 ( 0x0a5 ) 62 105: 1 ( 0x0a6 ) 63 106: b(;) ( 0x0c2 ) 64 107: named-token ( 0x0b6 ) obknoxin 0x802 65 119: b(:) ( 0x0b7 ) 66 120: b(lit) ( 0x010 ) 0x678 67 125: b(<mark) ( 0x0b1 ) 68 126: 0 ( 0x0a5 ) 69 127: 1 ( 0x0a6 ) 70 128: 2 ( 0x0a7 ) 71 129: 3 ( 0x0a8 ) 72 130: b(lit) ( 0x010 ) 0x910 73 135: b(<mark) ( 0x0b1 ) 74 136: 2 ( 0x0a7 ) 75 137: 1 ( 0x0a6 ) 76 138: 0 ( 0x0a5 ) 77 139: 3 ( 0x0a8 ) 78 140: bbranch ( 0x013 ) 0x0000 ( dest = 141 ) 79\ Error: Unresolved offset. 80 143: b(>resolve) ( 0x0b2 ) 81 144: 3 ( 0x0a8 ) 82 145: 1 ( 0x0a6 ) 83 146: 0 ( 0x0a5 ) 84 147: 2 ( 0x0a7 ) 85 148: b(lit) ( 0x010 ) 0x2512 86 153: b(loop) ( 0x015 ) 0x0000 ( dest = 154 ) 87\ Error: Unresolved offset. 88 156: 2 ( 0x0a7 ) 89 157: 3 ( 0x0a8 ) 90 158: 0 ( 0x0a5 ) 91 159: 1 ( 0x0a6 ) 92 160: b(;) ( 0x0c2 ) 93 161: named-token ( 0x0b6 ) tixon 0x803 94 170: b(:) ( 0x0b7 ) 95 171: b(lit) ( 0x010 ) 0x987 96 176: 0 ( 0x0a5 ) 97 177: b(do) ( 0x017 ) 0x0000 ( dest = 178 ) 98\ Error: Unresolved offset. 99 180: 0 ( 0x0a5 ) 100 181: 1 ( 0x0a6 ) 101 182: 2 ( 0x0a7 ) 102 183: 3 ( 0x0a8 ) 103 184: b(lit) ( 0x010 ) 0x654 104 189: b(<mark) ( 0x0b1 ) 105 190: 3 ( 0x0a8 ) 106 191: 2 ( 0x0a7 ) 107 192: 1 ( 0x0a6 ) 108 193: 0 ( 0x0a5 ) 109 194: b(lit) ( 0x010 ) 0xace 110 199: bbranch ( 0x013 ) 0x000d ( =dec 13 dest = 213 ) 111 202: b(>resolve) ( 0x0b2 ) 112 203: 3 ( 0x0a8 ) 113 204: 0 ( 0x0a5 ) 114 205: 1 ( 0x0a6 ) 115 206: 2 ( 0x0a7 ) 116 207: b(lit) ( 0x010 ) 0xfeed 117 212: b(>resolve) ( 0x0b2 ) 118 213: b(;) ( 0x0c2 ) 119 214: named-token ( 0x0b6 ) spew-agnu 0x804 120 227: b(:) ( 0x0b7 ) 121 228: b(lit) ( 0x010 ) 0x5417 122 233: b(>resolve) ( 0x0b2 ) 123 234: b(;) ( 0x0c2 ) 124 235: named-token ( 0x0b6 ) bunk 0x805 125 243: b(:) ( 0x0b7 ) 126 244: b(lit) ( 0x010 ) 0x543 127 249: b?branch ( 0x014 ) 0x000b ( =dec 11 dest = 261 ) 128 252: b(lit) ( 0x010 ) 0x345 129 257: bbranch ( 0x013 ) 0x0000 ( dest = 258 ) 130\ Error: Unresolved offset. 131 260: b(>resolve) ( 0x0b2 ) 132 261: b(lit) ( 0x010 ) 0x789 133 266: b(;) ( 0x0c2 ) 134 267: named-token ( 0x0b6 ) junk 0x806 135 275: b(:) ( 0x0b7 ) 136 276: b(lit) ( 0x010 ) 0xace 137 281: b(>resolve) ( 0x0b2 ) 138 282: b(;) ( 0x0c2 ) 139 283: named-token ( 0x0b6 ) clunk 0x807 140 292: b(:) ( 0x0b7 ) 141 293: 0= ( 0x034 ) 142 294: b(<mark) ( 0x0b1 ) 143 295: 1 ( 0x0a6 ) 144 296: - ( 0x01f ) 145 297: ?dup ( 0x050 ) 146 298: b?branch ( 0x014 ) 0x0000 ( dest = 299 ) 147\ Error: Unresolved offset. 148 301: b(>resolve) ( 0x0b2 ) 149 302: b?branch ( 0x014 ) 0x0000 ( dest = 303 ) 150\ Error: Unresolved offset. 151 305: b(;) ( 0x0c2 ) 152 306: named-token ( 0x0b6 ) skunk 0x808 153 315: b(:) ( 0x0b7 ) 154 316: b(;) ( 0x0c2 ) 155 317: end0 ( 0x000 ) 156\ Detokenization finished normally after 318 bytes. 157End of file. 158 159