/*
 * 1.aud
 * 95 jun 29
 *
 * Documentation generated semi-automatically for example 1: shadow
 * dump, program dump, sybolic scheme, box scheme, execution trace

     00 01 02 03 04 05 06 07 08 09 0A 0B 0C 0D 0E 0F 0123456789ABCDEF
0000 73 73 68 66 2E 2E 2E 68 66 2E 2E 2E 68 66 2E 2E sshf...hf...hf..
0010 2E 68 68 68 34 2E 2E 2E 68 6C 2B 6C 2B 73 68 6C .hhh4...hl+l+shl
0020 2B 73 20 20 20 20 6C 2B 6C 2B 6C 2B 73 20 20 20 +s    l+l+l+s
  
     00 01 02 03 04 05 06 07 08 09 0A 0B 0C 0D 0E 0F 0123456789ABCDEF
0000 FC FE 01 EC B7 03 00 01 64 B3 03 00 01 98 B3 03 ........d.......
0010 00 05 04 03 04 00 00 00 00 00 02 00 07 FF 00 00 ................
0020 18 FD 06 00 00 00 00 13 00 07 00 0C FF 20 20 20 .............


 END_CRIM %SEXIT
 00       01

 H_FORTH %DUP                                    %DUP = 02
 02      03

 H_FORTH %*                                      %* = 07
 07      08

 H_FORTH %+                                      %+ = 0C
 0C      0D

 H_VALUE_3 H_VALUE_2 H_VALUE_1 0x00000004        %A = 13
 11        12        13        14

 H_CRIM %DUP %* %EXIT                            %SQUARE = 18
 18     19   1B 1D

 H_CRIM %SQUARE %LIT4 0x00000006 %A %* %+ %EXIT  %^2+6A = 1E
 1E     1F      21    22         26 28 2A 2C


+--+ +--+
|FC| |FE|
+--+ +--+
00   01

+--+--+--+--+--+
|01|  0003B7EC |
+==+..+..+..+..+
02

+--+--+--+--+--+
|01|  0003B364 |
+==+..+..+..+..+
07

+--+--+--+--+--+
|01|  0003B398 |
+==+..+..+..+..+
0C

+--+--+--+--+--+--+--+
|05|04|03|  00000004 |
+==+==+==+..+..+..+..+
      13

+--+--+--+--+--+--+
|00|00 02|00 07|FF|
+==+--+--+--+--+--+
18

+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+
|00|00 18|FD|  00000006 |00 13|00 07|00 0C|FF|
+==+--+--+--+..+..+..+..+--+--+--+--+--+--+--+
1E


0 1E /// 5 :: head     	      %^2+6A
0 1F /// 5 :: crim	      |
0 21 18 /// 5 :: head	      |	%SQUARE
0 21 19 /// 5 :: crim	      |	|
0 21 1B 2 /// 5 :: head	      |	| %DUP
0 21 1B 3 /// 5 :: (forth)    |	| ;
0 21 1B /// 5 5 :: crim	      |	|
0 21 1D 7 /// 5 5 :: head     |	| %*
0 21 1D 8 /// 5 5 :: (forth)  |	| ;
0 21 1D /// 19 :: crim	      |	;
0 21 /// 19 :: crim	      |
0 26 /// 19 6 :: crim	      |
0 28 13 /// 19 6 :: head      |	%A (fetch)
0 28 14 /// 19 6 :: (value_1) |	;
0 28 /// 19 6 4 :: crim	      |
0 2A 7 /// 19 6 4 :: head     |	%*
0 2A 8 /// 19 6 4 :: (forth)  |	;
0 2A /// 19 18 :: crim	      |
0 2C C /// 19 18 :: head      |	%+
0 2C D /// 19 18 :: (forth)   |	;
0 2C /// 31 :: crim	      ;
0 /// 31 :: crim