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