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: 0x45c3 (Ok) 12 4: len: 0x00f0 ( 240 bytes) 13 8: b(") ( 0x012 ) ( len=0x11 [17 bytes] ) 14 " grubby-nit-picker" 15 27: device-name ( 0x201 ) 16 29: b(") ( 0x012 ) ( len=0x2c [44 bytes] ) 17 " bloated lackey of the capitalist toy-mongers" 18 75: encode-bytes ( 0x115 ) 19 77: b(") ( 0x012 ) ( len=0xb [11 bytes] ) 20 " santa-claus" 21 90: property ( 0x110 ) 22 92: b(") ( 0x012 ) ( len=4 ) 23 " name" 24 98: get-my-property ( 0x21a ) 25 100: b?branch ( 0x014 ) 0x0018 ( =dec 24 dest = 125 ) 26 103: b(") ( 0x012 ) ( len=0xf [15 bytes] ) 27 " Sorry, Charlie!" 28 120: type ( 0x090 ) 29 121: bbranch ( 0x013 ) 0x0026 ( =dec 38 dest = 160 ) 30 124: b(>resolve) ( 0x0b2 ) 31 125: b(lit) ( 0x010 ) 0x6 32 130: >r ( 0x030 ) 33 131: over ( 0x048 ) 34 132: r@ ( 0x032 ) 35 133: + ( 0x01e ) 36 134: swap ( 0x049 ) 37 135: r@ ( 0x032 ) 38 136: - ( 0x01f ) 39 137: rot ( 0x04a ) 40 138: r> ( 0x031 ) 41 139: b(") ( 0x012 ) ( len=0xf [15 bytes] ) 42 " Starts with: " 43 156: type ( 0x090 ) 44 157: type ( 0x090 ) 45 158: 2drop ( 0x052 ) 46 159: b(>resolve) ( 0x0b2 ) 47 160: cr ( 0x092 ) 48 161: b(") ( 0x012 ) ( len=0xb [11 bytes] ) 49 " santa-claus" 50 174: get-my-property ( 0x21a ) 51 176: b?branch ( 0x014 ) 0x001b ( =dec 27 dest = 204 ) 52 179: b(") ( 0x012 ) ( len=0x12 [18 bytes] ) 53 " Eat flaming death!" 54 199: type ( 0x090 ) 55 200: bbranch ( 0x013 ) 0x0025 ( =dec 37 dest = 238 ) 56 203: b(>resolve) ( 0x0b2 ) 57 204: b(lit) ( 0x010 ) 0x7 58 209: tuck ( 0x04c ) 59 210: - ( 0x01f ) 60 211: -rot ( 0x04b ) 61 212: 2dup ( 0x053 ) 62 213: + ( 0x01e ) 63 214: swap ( 0x049 ) 64 215: 2swap ( 0x055 ) 65 216: rot ( 0x04a ) 66 217: b(") ( 0x012 ) ( len=0xf [15 bytes] ) 67 " Starts with: " 68 234: type ( 0x090 ) 69 235: type ( 0x090 ) 70 236: 2drop ( 0x052 ) 71 237: b(>resolve) ( 0x0b2 ) 72 238: cr ( 0x092 ) 73 239: end0 ( 0x000 ) 74\ Detokenization finished normally after 240 bytes. 75End of file. 76 77