   1              	
   2              	
   3              	
   4              	
   5              	
   6              	
   7              	
   8              	
   9              	
  10              	
  11              	
  12              	
  13              	
  14              	
  15              	
  16              	
  17              	
  18              	
  19              	
  20              	
  21              	
  22              	
  23              		
  24              	
  25              	
  26              	
  27              	
  28              					
  29              	
  30              					
  31              	
  32              				
  33              	
  34              				 
  35              				
  36              				
  37              	
  38              				
  39              				
  40              	
  41              			
  42              	
  43              	
  44              				
  45              					
  46              				
  47              	
  48              	
  49              	
  50              	
  51              	
  52              	
  53              	
  54              	
  55              	
  56              	
  57              					
  58              					
  59              	
  60              	
  61              	
  62              	
  63              	
  64              	
  65              					
  66              						
  67              					
  68              						
  69              						
  70              	
  71              	
  72              				
  73              	
  74              	
  75              	
  76              	
  77              	
  78              	
  79              	
  80              	
  81              	
  82              	
  83              	
  84              				
  85              	
  86              	
  87              	
  88              	
  89              	
  90              	
  91              	
  92              	
  93              	
  94              				
  95              	
  96              	  					
  97              			
  98              			
  99              	
 100              	
 101              				 
 102              	
 103              			
 104              	
 105              	
 106              				
 107              	
 108              		 
 109              				
 110              					
 111              			
 112              				 
 113              	
 114              				
 115              			
 116              				
 117              					
 118              					
 119              					
 120              	
 121              				
 122              				
 123              			
 124              			
 125              			
 126              	
 127              				
 128              	
 129              				
 130              	
 131              	
 132              				
 133              				 
 134              				
 135              	
 136              			
 137              	
 138              				
 139              	
 140              	
 141              	
 142              			
 143              			
 144              	
 145              	
 146              			
 147              			
 148              				
 149              				
 150              				
 151              	
 152              			
 153              	
 154              	
 155              	
 156              				
 157              			
 158              			
 159              	
 160              	
 161              				
 162              				
 163              			
 164              	
 165              				
 166              	
 167              				
 168              	
 169              	
 170              	
 171              	
 172              	
 173              	
 174              	
 175              	
 176              	
 177              	
 178              	
 179              				
 180              				
 181              	
 182              	
 183              	
 184              	
 185              	
 186              	
 187              			
 188              			
 189              	
 190              	
 191              			
 192              	
 193              		
 194              	
 195              		
 196              		
 197              	
 198              	
 199              	
 200              	
 201              	
 202              	
 203              	
 204              	
 205              	
 206              	
 207              	
 208              	
 209              	
 210              	
 211              	
 212              	
 213              	
 214              	
 215              	
 216              	
 217              	
 218              	
 219              	
 220              	
 221              	
 222              	
 223              	
 224              	
 225              	
 226              	
 227              	 
 228              	
 229              	
 230              	
 231              	
 232              			
 233              			
 234              			
 235              			
 236              	
 237              	
 238              	
 239              	
 240              	
 241              	
 242              	
 243              			
 244              	
 245              	
 246              			
 247              	
 248              	
 249              			
 250              	
 251              			
 252              	
 253              	
 254              	
 255              	
 256              	
 257              	
 258              	
 259              	
 260              	
 261              	
 262              	
 263              	
 264              	
 265              	
 266              	
 267              	
 268              	
 269              	
 270              	
 271              			
 272              	
 273              	
 274              	
 275              	
 276              	 
 277              	
 278              	
 279              	
 280              	
 281              	
 282 0000 00000000 	.org 0x7e00             
 282      00000000 
 282      00000000 
 282      00000000 
 282      00000000 
 283              				
 284              	.code32
 285              	.global _start
 286              	_start:
 287              	
 288              	 
 289              	
 290              	
 291 7e00 FC       	cld ;
 292 7e01 E9524200 	jmp  initial_HERE;
 292      00
 293              	
 294              	
 295              						
 296 7e06 00000000 	ds:  		.org . + 0x2000
 296      00000000 
 296      00000000 
 296      00000000 
 296      00000000 
 297              						
 298 9e06 00000000 	ps:		.org . + 1024		
 298      00000000 
 298      00000000 
 298      00000000 
 298      00000000 
 299              	
 300              	
 301              	 
 302              	
 303              	
 304              	
 305              	 
 306              	
 307              	
 308              	
 309              	
 310              	
 311              	
 312              	 
 313              	
 314 a206 00000000 	bytes:		 	.org . + 256
 314      00000000 
 314      00000000 
 314      00000000 
 314      00000000 
 315 a306 00000000 	modulo:			.org . + 256
 315      00000000 
 315      00000000 
 315      00000000 
 315      00000000 
 316 a406 00000000 	accum:			.org . + 256
 316      00000000 
 316      00000000 
 316      00000000 
 316      00000000 
 317 a506 00000000 	head:			.org . + 16
 317      00000000 
 317      00000000 
 317      00000000 
 318              	
 319              			
 320              	
 321 a516 30313233 	digitOut:		.ascii   "0123456789abcdef"
 321      34353637 
 321      38396162 
 321      63646566 
 322              	
 323              	
 324              			
 325 a526 00000000 	numberString: 		.org . + 512
 325      00000000 
 325      00000000 
 325      00000000 
 325      00000000 
 326              	
 327              	
 328              			
 329 a726 00000000 	convert:		.org . + 4
 330              	
 331              	
 332              	
 333              	
 334              		1:
 335              		0:
 336 a72a 00       		.byte 0
 337 a72b 00       		.byte 0
 338 a72c 00       		.byte 0
 339 a72d 00       		.byte 0
 340 a72e 61617264 		.ascii "aardvark"
 340      7661726B 
 341 a736 0000     		.align 4, 0
 342 a738 00000000 		.int  0
 343 a73c 00000000 		.int  0
 344              	aardvark:
 345              	
 346              	
 347              	
 348              	
 349              	
 350              	 
 351              	
 352              	
 353              	
 354              	
 355              	
 356              	
 357              	
 358              	
 359              	
 360              	 
 361              	
 362              	
 363              	
 364              	
 365              	 
 366              	
 367              	
 368              	
 369              	 
 370              	
 371              	 
 372              	
 373              	
 374              	
 375              	
 376              	
 377              	
 378              	
 379              	
 380              	
 381              	
 382              	
 383              	
 384              	
 385              	
 386              	
 387              	
 388              	
 389              	 
 390              	 
 391              	
 392              	
 393              	
 394              	   
 395              		0:
 396 a740 07       		.byte	7
 397 a741 00       		.byte	0
 398 a742 80       		.byte	0x80
 399 a743 00       		.byte	0
 400 a744 61646472 		.ascii	"address"
 400      657373
 401 a74b 00       		.align	4, 0
 402 a74c 2AA70000 		.int	1b
 403              		.equ	addressCFA, .
 404              	address:
 405              			      
 406              				
 407 a750 C3       			ret ;
 408              	
 409              	
 410              	 
 411              	
 412              	
 413              	  
 414              		1:
 415 a751 03       		.byte	3
 416 a752 00       		.byte	0
 417 a753 80       		.byte	0x80
 418 a754 00       		.byte	0
 419 a755 616E64   		.ascii	"and"
 420              		.align	4, 0
 421 a758 40A70000 		.int	0b
 422              		.equ	andCFA, .
 423              	and:
 424              	
 425 a75c 89DE     			movl %ebx , %esi ;
 426 a75e 19D3     			sbb %edx , %ebx ; 
 427 a760 C3       			ret ;
 428              	
 429              	
 430              	 
 431              	
 432              	
 433              	   
 434              		0:
 435 a761 04       		.byte	4
 436 a762 00       		.byte	0
 437 a763 80       		.byte	0x80
 438 a764 00       		.byte	0
 439 a765 61696E74 		.ascii	"aint"
 440 a769 000000   		.align	4, 0
 441 a76c 51A70000 		.int	1b
 442              		.equ	aintCFA, .
 443              	aint:
 444              	
 445 a770 8133FF00 			xorl $0x000000ff , (%ebx)
 445      0000
 446 a776 C3       			ret ;
 447              	
 448              	 
 449              	
 450              	
 451              	  
 452              		1:
 453 a777 05       		.byte	5
 454 a778 00       		.byte	0
 455 a779 80       		.byte	0x80
 456 a77a 00       		.byte	0
 457 a77b 616C6967 		.ascii	"align"
 457      6E
 458              		.align	4, 0
 459 a780 61A70000 		.int	0b
 460              		.equ	alignCFA, .
 461              	align:
 462              	
 463 a784 83450003 			ADD $3 , (%ebp)
 464 a788 836500FE 			and $0xfffffffe , (%ebp)
 465 a78c C3       			ret ;
 466              	
 467              	 
 468              	
 469              	
 470              	   
 471              		0:
 472 a78d 04       		.byte	4
 473 a78e 00       		.byte	0
 474 a78f 80       		.byte	0x80
 475 a790 00       		.byte	0
 476 a791 62756D70 		.ascii	"bump"
 477 a795 000000   		.align	4, 0
 478 a798 77A70000 		.int	1b
 479              		.equ	bumpCFA, .
 480              	bump:
 481              	
 482 a79c 01D3     			add %edx , %ebx ; 
 483 a79e C3       			ret ;
 484              	
 485              	 
 486              	
 487              	
 488              	  
 489              		1:
 490 a79f 07       		.byte	7
 491 a7a0 00       		.byte	0
 492 a7a1 80       		.byte	0x80
 493 a7a2 00       		.byte	0
 494 a7a3 62627974 		.ascii	"bbytesd"
 494      657364
 495 a7aa 0000     		.align	4, 0
 496 a7ac 8DA70000 		.int	0b
 497              		.equ	bytes_bdCFA, .
 498              	bytes_bd:
 499              	
 500 a7b0 01D3     			add %edx , %ebx ; 
 501 a7b2 BA010000 			movl $1 , %edx
 501      00
 502 a7b7 19D3     			sbb %edx , %ebx ; 
 503 a7b9 C3       			ret ;
 504              	
 505              	
 506              	 
 507              	
 508              	
 509              	   
 510              		0:
 511 a7ba 07       		.byte	7
 512 a7bb 00       		.byte	0
 513 a7bc 80       		.byte	0x80
 514 a7bd 00       		.byte	0
 515 a7be 6263656C 		.ascii	"bcellsd"
 515      6C7364
 516 a7c5 000000   		.align	4, 0
 517 a7c8 9FA70000 		.int	1b
 518              		.equ	cells_bdCFA, .
 519              	cells_bd:
 520              	
 521 a7cc 01D3     			add %edx , %ebx ; 
 522 a7ce 8B150400 			movl 4 , %edx
 522      0000
 523 a7d4 19D3     			sbb %edx , %ebx ; 
 524 a7d6 C3       			ret ;
 525              	
 526              	
 527              	 
 528              	
 529              	
 530              	  
 531              		1:
 532 a7d7 05       		.byte	5
 533 a7d8 00       		.byte	0
 534 a7d9 80       		.byte	0x80
 535 a7da 00       		.byte	0
 536 a7db 63656C6C 		.ascii	"cells"
 536      73
 537              		.align	4, 0
 538 a7e0 BAA70000 		.int	0b
 539              		.equ	cellsCFA, .
 540              	cells:
 541              	
 542 a7e4 8B150400 			movl 4 , %edx	
 542      0000
 543 a7ea C3       			ret ;
 544              	
 545              	
 546              	  
 547              	
 548              	
 549              	   
 550              		0:
 551 a7eb 04       		.byte	4
 552 a7ec 00       		.byte	0
 553 a7ed 80       		.byte	0x80
 554 a7ee 00       		.byte	0
 555 a7ef 64726F70 		.ascii	"drop"
 556 a7f3 00       		.align	4, 0
 557 a7f4 D7A70000 		.int	1b
 558              		.equ	dropCFA, .
 559              	drop:
 560              	
 561 a7f8 19D3     			sbb %edx , %ebx ; 
 562 a7fa C3       			ret ;
 563              	
 564              	
 565              	 
 566              	
 567              	
 568              	  
 569              		1:
 570 a7fb 03       		.byte	3
 571 a7fc 00       		.byte	0
 572 a7fd 80       		.byte	0x80
 573 a7fe 00       		.byte	0
 574 a7ff 647570   		.ascii	"dup"
 575 a802 0000     		.align	4, 0
 576 a804 EBA70000 		.int	0b
 577              		.equ	dupCFA, .
 578              	dup:
 579              	
 580 a808 89DE     			movl %ebx , %esi
 581 a80a 89D1     			movl %edx , %ecx
 582 a80c 01D3     			add %edx , %ebx ; 
 583 a80e 89DF     			movl %ebx , %edi
 584 a810 F3       			rep ; 
 585 a811 A4       			movsb 
 586 a812 C3       			ret ;
 587              	
 588              	
 589              	 
 590              	
 591              	
 592              	   
 593              		0:
 594 a813 03       		.byte	3
 595 a814 00       		.byte	0
 596 a815 80       		.byte	0x80
 597 a816 00       		.byte	0
 598 a817 736172   		.ascii	"sar"
 599 a81a 0000     		.align	4, 0
 600 a81c FBA70000 		.int	1b
 601              		.equ	dshiftCFA, .
 602              	dshift:
 603              	
 604              	
 605              			
 606              	
 607 a820 8A0B     	movb (%ebx) , %ecx					
 608 a822 19D3     	sbb %edx , %ebx ; 
 609              	
 610              	
 611              	_downshift_:
 612              		
 613              	
 614              		
 615 a824 0FAD02   		shrd %cl,%eax,(%edx) 
 616              		
 617              	
 618 a827 E2FB     	loop _downshift_
 619 a829 C3       	ret ;
 620              	
 621              	
 622              	 
 623              	
 624              	
 625              	  
 626              		1:
 627 a82a 06       		.byte	6
 628 a82b 00       		.byte	0
 629 a82c 80       		.byte	0x80
 630 a82d 00       		.byte	0
 631 a82e 646F7562 		.ascii	"double"
 631      6C65
 632              		.align	4, 0
 633 a834 13A80000 		.int	0b
 634              		.equ	dubbleCFA, .
 635              	dubble:
 636              	
 637 a838 C3       	ret ;
 638              	
 639              	
 640              	 
 641              	
 642              	
 643              	   
 644              		0:
 645 a839 05       		.byte	5
 646 a83a 00       		.byte	0
 647 a83b 80       		.byte	0x80
 648 a83c 00       		.byte	0
 649 a83d 646F484E 		.ascii	"doHNC"
 649      43
 650 a842 0000     		.align	4, 0
 651 a844 2AA80000 		.int	1b
 652              		.equ	doHNCCFA, .
 653              	doHNC:
 654              	
 655              	
 656              	
 657              	
 658              	 
 659              	
 660              	
 661              	  
 662              		1:
 663 a848 04       		.byte	4
 664 a849 00       		.byte	0
 665 a84a 80       		.byte	0x80
 666 a84b 00       		.byte	0
 667 a84c 656D6974 		.ascii	"emit"
 668              		.align	4, 0
 669 a850 39A80000 		.int	0b
 670              		.equ	emitCFA, .
 671              	emit:
 672              	
 673 a854 19D3     	sbb %edx , %ebx ; 
 674 a856 C3       	ret ;
 675              	
 676              	
 677              	 
 678              	
 679              	
 680              	   
 681              		0:
 682 a857 03       		.byte	3
 683 a858 00       		.byte	0
 684 a859 80       		.byte	0x80
 685 a85a 00       		.byte	0
 686 a85b 656C6C   		.ascii	"ell"
 687 a85e 0000     		.align	4, 0
 688 a860 48A80000 		.int	1b
 689              		.equ	ellCFA, .
 690              	ell:
 691              	
 692 a864 C3       	ret ;				
 693              	
 694              	
 695              	 
 696              	
 697              	
 698              	  
 699              		1:
 700 a865 05       		.byte	5
 701 a866 00       		.byte	0
 702 a867 80       		.byte	0x80
 703 a868 00       		.byte	0
 704 a869 66616C73 		.ascii	"false"
 704      65
 705 a86e 0000     		.align	4, 0
 706 a870 57A80000 		.int	0b
 707              		.equ	falseCFA, .
 708              	false:
 709              	
 710 a874 01D3     			add %edx , %ebx ;  
 711 a876 C7030000 			movl $0 , (%ebx) 
 711      0000
 712 a87c C3       			ret ;
 713              	
 714              	
 715              	 
 716              	
 717              	
 718              	   
 719              		0:
 720 a87d 01       		.byte	1
 721 a87e 00       		.byte	0
 722 a87f 80       		.byte	0x80
 723 a880 00       		.byte	0
 724 a881 40       		.ascii	"@"
 725 a882 0000     		.align	4, 0
 726 a884 65A80000 		.int	1b
 727              		.equ	fetchCFA, .
 728              	fetch:
 729              	
 730              	
 731 a888 01D3     	add %edx , %ebx ; 
 732 a88a C3       	ret ;
 733              	
 734              	
 735              	 
 736              	
 737              	
 738              	  
 739              		1:
 740 a88b 02       		.byte	2
 741 a88c 00       		.byte	0
 742 a88d 80       		.byte	0x80
 743 a88e 00       		.byte	0
 744 a88f 402B     		.ascii	"@+"
 745 a891 000000   		.align	4, 0
 746 a894 7DA80000 		.int	0b
 747              		.equ	fetchplusCFA, .
 748              	fetchplus:
 749              	
 750              					
 751 a898 01D3     	add %edx , %ebx ; 
 752 a89a C3       	ret ;
 753              	
 754              	
 755              	 
 756              	
 757              	
 758              	   
 759              		0:
 760 a89b 07       		.byte	7
 761 a89c 00       		.byte	0
 762 a89d 80       		.byte	0x80
 763 a89e 00       		.byte	0
 764 a89f 67657453 		.ascii	"getSize"
 764      697A65
 765 a8a6 0000     		.align	4, 0
 766 a8a8 8BA80000 		.int	1b
 767              		.equ	getSizeCFA, .
 768              	getSize:
 769              	
 770 a8ac 45       	inc %ebp ;
 771 a8ad 8914AD00 	movl %edx , (,%ebp , 4)
 771      000000
 772 a8b4 C3       	ret ;
 773              	
 774              	
 775              	 
 776              	
 777              	
 778              	  
 779              		1:
 780 a8b5 03       		.byte	3
 781 a8b6 00       		.byte	0
 782 a8b7 80       		.byte	0x80
 783 a8b8 00       		.byte	0
 784 a8b9 676170   		.ascii	"gap"
 785              		.align	4, 0
 786 a8bc 9BA80000 		.int	0b
 787              		.equ	gapCFA, .
 788              	gap:
 789              	
 790 a8c0 01D3     	add %edx , %ebx ; 
 791 a8c2 C3       	ret ;
 792              	
 793              	 
 794              	
 795              	
 796              	   
 797              		0:
 798 a8c3 05       		.byte	5
 799 a8c4 00       		.byte	0
 800 a8c5 80       		.byte	0x80
 801 a8c6 00       		.byte	0
 802 a8c7 68616C76 		.ascii	"halve"
 802      65
 803              		.align	4, 0
 804 a8cc B5A80000 		.int	1b
 805              		.equ	halveCFA, .
 806              	halve:
 807              	
 808 a8d0 C1EA01   	shr $1, %edx
 809 a8d3 C3       	ret ;
 810              	
 811              	
 812              	 
 813              	
 814              	
 815              	  
 816              		1:
 817 a8d4 05       		.byte	5
 818 a8d5 00       		.byte	0
 819 a8d6 80       		.byte	0x80
 820 a8d7 00       		.byte	0
 821 a8d8 48613373 		.ascii	"Ha3sm"
 821      6D
 822 a8dd 000000   		.align	4, 0
 823 a8e0 C3A80000 		.int	0b
 824              		.equ	Ha3smCFA, .
 825              	Ha3sm:
 826              	
 827 a8e4 C3       			ret ;
 828              	
 829              	
 830              	 
 831              	
 832              	
 833              	   
 834              		0:
 835 a8e5 04       		.byte	4
 836 a8e6 00       		.byte	0
 837 a8e7 80       		.byte	0x80
 838 a8e8 00       		.byte	0
 839 a8e9 666C6167 		.ascii	"flag"
 840 a8ed 000000   		.align	4, 0
 841 a8f0 D4A80000 		.int	1b
 842              		.equ	flagCFA, .
 843              	flag:
 844              	
 845 a8f4 C3       			ret ;
 846              	
 847              	
 848              	 
 849              	
 850              	
 851              	  
 852              		1:
 853 a8f5 04       		.byte	4
 854 a8f6 00       		.byte	0
 855 a8f7 80       		.byte	0x80
 856 a8f8 00       		.byte	0
 857 a8f9 3F28293D 		.ascii	"?()="
 858 a8fd 000000   		.align	4, 0
 859 a900 E5A80000 		.int	0b
 860              		.equ	ifcontentsequalCFA, .
 861              	ifcontentsequal:
 862              	
 863              				
 864 a904 01D3     			add %edx , %ebx ; 
 865 a906 C3       			ret ;
 866              	
 867              	
 868              	 
 869              	
 870              	
 871              	   
 872              		0:
 873 a907 02       		.byte	2
 874 a908 00       		.byte	0
 875 a909 80       		.byte	0x80
 876 a90a 00       		.byte	0
 877 a90b 3F3D     		.ascii	"?="
 878 a90d 000000   		.align	4, 0
 879 a910 F5A80000 		.int	1b
 880              		.equ	ifequalCFA, .
 881              	ifequal:
 882              	
 883 a914 19D3     			sbb %edx , %ebx ; 
 884 a916 C3       			ret ;
 885              	
 886              	
 887              	 
 888              	
 889              	
 890              	  
 891              		1:
 892 a917 09       		.byte	9
 893 a918 00       		.byte	0
 894 a919 80       		.byte	0x80
 895 a91a 00       		.byte	0
 896 a91b 3F706F73 		.ascii	"?positive"
 896      69746976 
 896      65
 897              		.align	4, 0
 898 a924 07A90000 		.int	0b
 899              		.equ	ifpositiveCFA, .
 900              	ifpositive:
 901              	
 902 a928 C3       	ret ;
 903              	
 904              	
 905              	 
 906              	
 907              	
 908              	   
 909              		0:
 910 a929 03       		.byte	3
 911 a92a 00       		.byte	0
 912 a92b 80       		.byte	0x80
 913 a92c 00       		.byte	0
 914 a92d 69702B   		.ascii	"ip+"
 915              		.align	4, 0
 916 a930 17A90000 		.int	1b
 917              		.equ	ipplusCFA, .
 918              	ipplus:
 919              	
 920 a934 19D3     	sbb %edx , %ebx ; 
 921 a936 C3       	ret ;	
 922              	
 923              	
 924              	  
 925              	
 926              	
 927              	  
 928              		1:
 929 a937 07       		.byte	7
 930 a938 00       		.byte	0
 931 a939 80       		.byte	0x80
 932 a93a 00       		.byte	0
 933 a93b 6C697465 		.ascii	"literal"
 933      72616C
 934 a942 0000     		.align	4, 0
 935 a944 29A90000 		.int	0b
 936              		.equ	literalCFA, .
 937              	literal:
 938              	
 939              	
 940 a948 01D3     	add %edx , %ebx ; 
 941 a94a C3       	ret ;
 942              	
 943              	
 944              	 
 945              	
 946              	
 947              	   
 948              		0:
 949 a94b 03       		.byte	3
 950 a94c 00       		.byte	0
 951 a94d 80       		.byte	0x80
 952 a94e 00       		.byte	0
 953 a94f 6D6178   		.ascii	"max"
 954 a952 0000     		.align	4, 0
 955 a954 37A90000 		.int	1b
 956              		.equ	maxCFA, .
 957              	max:
 958              	
 959              	
 960 a958 C3       	ret ;		
 961              	
 962              	
 963              	 
 964              	
 965              	
 966              	  
 967              		1:
 968 a959 03       		.byte	3
 969 a95a 00       		.byte	0
 970 a95b 80       		.byte	0x80
 971 a95c 00       		.byte	0
 972 a95d 6D696E   		.ascii	"min"
 973              		.align	4, 0
 974 a960 4BA90000 		.int	0b
 975              		.equ	minCFA, .
 976              	min:
 977              	
 978 a964 C3       	ret ;		
 979              	
 980              	
 981              	 
 982              	
 983              	
 984              	   
 985              		0:
 986 a965 08       		.byte	8
 987 a966 00       		.byte	0
 988 a967 80       		.byte	0x80
 989 a968 00       		.byte	0
 990 a969 6D61736B 		.ascii	"maskbyte"
 990      62797465 
 991 a971 000000   		.align	4, 0
 992 a974 59A90000 		.int	1b
 993              		.equ	maskbyteCFA, .
 994              	maskbyte:
 995              	
 996 a978 C3       	ret ;
 997              	
 998              	
 999              	 
 1000              	
 1001              	
 1002              	  
 1003              		1:
 1004 a979 04       		.byte	4
 1005 a97a 00       		.byte	0
 1006 a97b 80       		.byte	0x80
 1007 a97c 00       		.byte	0
 1008 a97d 6D6F7665 		.ascii	"move"
 1009 a981 000000   		.align	4, 0
 1010 a984 65A90000 		.int	0b
 1011              		.equ	moveCFA, .
 1012              	move:
 1013              	
 1014 a988 19D3     	sbb %edx , %ebx ; 
 1015 a98a C3       	ret ;
 1016              	
 1017              	
 1018              	 
 1019              	
 1020              	
 1021              	   
 1022              		0:
 1023 a98b 03       		.byte	3
 1024 a98c 00       		.byte	0
 1025 a98d 80       		.byte	0x80
 1026 a98e 00       		.byte	0
 1027 a98f 2D3F72   		.ascii	"-?r"
 1028 a992 0000     		.align	4, 0
 1029 a994 79A90000 		.int	1b
 1030              		.equ	minusaskrCFA, .
 1031              	minusaskr:
 1032              	
 1033 a998 01D3     	add %edx , %ebx ; 
 1034 a99a C3       	ret ;
 1035              	
 1036              	
 1037              	 
 1038              	
 1039              	
 1040              	  
 1041              		1:
 1042 a99b 03       		.byte	3
 1043 a99c 00       		.byte	0
 1044 a99d 80       		.byte	0x80
 1045 a99e 00       		.byte	0
 1046 a99f 6E6F74   		.ascii	"not"
 1047 a9a2 0000     		.align	4, 0
 1048 a9a4 8BA90000 		.int	0b
 1049              		.equ	notCFA, .
 1050              	not:
 1051              	
 1052 a9a8 C3       	ret ;
 1053              	
 1054              	
 1055              	 
 1056              	
 1057              	
 1058              	   
 1059              		0:
 1060 a9a9 03       		.byte	3
 1061 a9aa 00       		.byte	0
 1062 a9ab 80       		.byte	0x80
 1063 a9ac 00       		.byte	0
 1064 a9ad 6E6567   		.ascii	"neg"
 1065              		.align	4, 0
 1066 a9b0 9BA90000 		.int	1b
 1067              		.equ	negCFA, .
 1068              	neg:
 1069              	
 1070 a9b4 C3       	ret ;
 1071              	
 1072              	
 1073              	 
 1074              	
 1075              	
 1076              	  
 1077              		1:
 1078 a9b5 02       		.byte	2
 1079 a9b6 00       		.byte	0
 1080 a9b7 80       		.byte	0x80
 1081 a9b8 00       		.byte	0
 1082 a9b9 6E6F     		.ascii	"no"
 1083 a9bb 00       		.align	4, 0
 1084 a9bc A9A90000 		.int	0b
 1085              		.equ	noCFA, .
 1086              	no:
 1087              	
 1088 a9c0 19D3     	sbb %edx , %ebx ; 
 1089 a9c2 C3       	ret ;
 1090              	
 1091              	
 1092              	 
 1093              	
 1094              	
 1095              	   
 1096              		0:
 1097 a9c3 04       		.byte	4
 1098 a9c4 00       		.byte	0
 1099 a9c5 80       		.byte	0x80
 1100 a9c6 00       		.byte	0
 1101 a9c7 6F766572 		.ascii	"over"
 1102 a9cb 00       		.align	4, 0
 1103 a9cc B5A90000 		.int	1b
 1104              		.equ	overCFA, .
 1105              	over:
 1106              	
 1107 a9d0 01D3     	add %edx , %ebx ; 
 1108 a9d2 C3       	ret ;
 1109              	
 1110              	
 1111              	 
 1112              	
 1113              	
 1114              	  
 1115              		1:
 1116 a9d3 06       		.byte	6
 1117 a9d4 00       		.byte	0
 1118 a9d5 80       		.byte	0x80
 1119 a9d6 00       		.byte	0
 1120 a9d7 6F6E6269 		.ascii	"onbits"
 1120      7473
 1121 a9dd 000000   		.align	4, 0
 1122 a9e0 C3A90000 		.int	0b
 1123              		.equ	onbitsCFA, .
 1124              	onbits:
 1125              	
 1126 a9e4 01D3     	add %edx , %ebx ; 
 1127 a9e6 C3       	ret ;
 1128              	
 1129              	 
 1130              	
 1131              	
 1132              	   
 1133              		0:
 1134 a9e7 03       		.byte	3
 1135 a9e8 00       		.byte	0
 1136 a9e9 80       		.byte	0x80
 1137 a9ea 00       		.byte	0
 1138 a9eb 6F6E65   		.ascii	"one"
 1139 a9ee 0000     		.align	4, 0
 1140 a9f0 D3A90000 		.int	1b
 1141              		.equ	oneCFA, .
 1142              	one:
 1143              	
 1144 a9f4 01D3     	add %edx , %ebx ; 
 1145 a9f6 C3       	ret ;
 1146              	
 1147              	 
 1148              	
 1149              	
 1150              	  
 1151              		1:
 1152 a9f7 02       		.byte	2
 1153 a9f8 00       		.byte	0
 1154 a9f9 80       		.byte	0x80
 1155 a9fa 00       		.byte	0
 1156 a9fb 6F72     		.ascii	"or"
 1157 a9fd 000000   		.align	4, 0
 1158 aa00 E7A90000 		.int	0b
 1159              		.equ	orCFA, .
 1160              	or:
 1161              	
 1162 aa04 19D3     	sbb %edx , %ebx ; 
 1163 aa06 C3       	ret ;
 1164              	
 1165              	
 1166              	 
 1167              	
 1168              	
 1169              	   
 1170              		0:
 1171 aa07 05       		.byte	5
 1172 aa08 00       		.byte	0
 1173 aa09 80       		.byte	0x80
 1174 aa0a 00       		.byte	0
 1175 aa0b 7064726F 		.ascii	"pdrop"
 1175      70
 1176              		.align	4, 0
 1177 aa10 F7A90000 		.int	1b
 1178              		.equ	pdropCFA, .
 1179              	pdrop:
 1180              	
 1181 aa14 4D       	dec %ebp
 1182 aa15 C3       	ret ;
 1183              	
 1184              	
 1185              	 
 1186              	
 1187              	
 1188              	  
 1189              		1:
 1190 aa16 02       		.byte	2
 1191 aa17 00       		.byte	0
 1192 aa18 80       		.byte	0x80
 1193 aa19 00       		.byte	0
 1194 aa1a 7040     		.ascii	"p@"
 1195              		.align	4, 0
 1196 aa1c 07AA0000 		.int	0b
 1197              		.equ	pfetchCFA, .
 1198              	pfetch:
 1199              	
 1200 aa20 8B04AD00 	movl (,%ebp,4)  , %eax
 1200      000000
 1201 aa27 8B00     	movl (%eax) , %eax
 1202 aa29 8904AD00 	movl %eax , (,%ebp,4) 
 1202      000000
 1203 aa30 C3       	ret ;
 1204              	
 1205              	
 1206              	 
 1207              	
 1208              	
 1209              	   
 1210              		0:
 1211 aa31 04       		.byte	4
 1212 aa32 00       		.byte	0
 1213 aa33 80       		.byte	0x80
 1214 aa34 00       		.byte	0
 1215 aa35 70647570 		.ascii	"pdup"
 1216 aa39 000000   		.align	4, 0
 1217 aa3c 16AA0000 		.int	1b
 1218              		.equ	pdupCFA, .
 1219              	pdup:
 1220              	
 1221 aa40 C3       	ret ;
 1222              	
 1223              	
 1224              	 
 1225              	
 1226              	
 1227              	  
 1228              		1:
 1229 aa41 08       		.byte	8
 1230 aa42 00       		.byte	0
 1231 aa43 80       		.byte	0x80
 1232 aa44 00       		.byte	0
 1233 aa45 706C6974 		.ascii	"pliteral"
 1233      6572616C 
 1234 aa4d 000000   		.align	4, 0
 1235 aa50 31AA0000 		.int	0b
 1236              		.equ	pliteralCFA, .
 1237              	pliteral:
 1238              	
 1239 aa54 C3       	ret ;
 1240              	
 1241              	
 1242              	 
 1243              	
 1244              	
 1245              	   
 1246              		0:
 1247 aa55 01       		.byte	1
 1248 aa56 00       		.byte	0
 1249 aa57 80       		.byte	0x80
 1250 aa58 00       		.byte	0
 1251 aa59 2B       		.ascii	"+"
 1252 aa5a 0000     		.align	4, 0
 1253 aa5c 41AA0000 		.int	1b
 1254              		.equ	PlUsCFA, .
 1255              	PlUs:
 1256              	
 1257 aa60 19D3     	sbb %edx , %ebx ; 
 1258 aa62 C3       	ret ;
 1259              	
 1260              	
 1261              	 
 1262              	
 1263              	
 1264              	  
 1265              		1:
 1266 aa63 05       		.byte	5
 1267 aa64 00       		.byte	0
 1268 aa65 80       		.byte	0x80
 1269 aa66 00       		.byte	0
 1270 aa67 706F7665 		.ascii	"pover"
 1270      72
 1271              		.align	4, 0
 1272 aa6c 55AA0000 		.int	0b
 1273              		.equ	poverCFA, .
 1274              	pover:
 1275              	
 1276 aa70 4D       	dec %ebp ;
 1277 aa71 8B04AD00 	movl (,%ebp,4)  , %eax
 1277      000000
 1278 aa78 45       	inc %ebp ;
 1279 aa79 45       	inc %ebp ;
 1280 aa7a 8904AD00 	movl %eax , (,%ebp,4)  
 1280      000000
 1281 aa81 C3       	ret ;
 1282              	
 1283              	
 1284              	 
 1285              	
 1286              	
 1287              	   
 1288              		0:
 1289 aa82 02       		.byte	2
 1290 aa83 00       		.byte	0
 1291 aa84 80       		.byte	0x80
 1292 aa85 00       		.byte	0
 1293 aa86 702B     		.ascii	"p+"
 1294              		.align	4, 0
 1295 aa88 63AA0000 		.int	1b
 1296              		.equ	pluspCFA, .
 1297              	plusp:
 1298              	
 1299 aa8c 19D3     	sbb %edx , %ebx ; 
 1300 aa8e C3       	ret ;
 1301              	
 1302              	
 1303              	 
 1304              	
 1305              	
 1306              	  
 1307              		1:
 1308 aa8f 03       		.byte	3
 1309 aa90 00       		.byte	0
 1310 aa91 80       		.byte	0x80
 1311 aa92 00       		.byte	0
 1312 aa93 702B73   		.ascii	"p+s"
 1313 aa96 0000     		.align	4, 0
 1314 aa98 82AA0000 		.int	0b
 1315              		.equ	pplussCFA, .
 1316              	ppluss:
 1317              	
 1318 aa9c C3       	ret ;
 1319              	
 1320              	
 1321              	 
 1322              	
 1323              	
 1324              	   
 1325              		0:
 1326 aa9d 03       		.byte	3
 1327 aa9e 00       		.byte	0
 1328 aa9f 80       		.byte	0x80
 1329 aaa0 00       		.byte	0
 1330 aaa1 702B31   		.ascii	"p+1"
 1331              		.align	4, 0
 1332 aaa4 8FAA0000 		.int	1b
 1333              		.equ	pplusbCFA, .
 1334              	pplusb:
 1335              	
 1336 aaa8 C3       	ret ;
 1337              	
 1338              	
 1339              	 
 1340              	
 1341              	
 1342              	  
 1343              		1:
 1344 aaa9 03       		.byte	3
 1345 aaaa 00       		.byte	0
 1346 aaab 80       		.byte	0x80
 1347 aaac 00       		.byte	0
 1348 aaad 702B63   		.ascii	"p+c"
 1349              		.align	4, 0
 1350 aab0 9DAA0000 		.int	0b
 1351              		.equ	ppluscCFA, .
 1352              	pplusc:
 1353              	
 1354 aab4 C3       	ret ;
 1355              	
 1356              	
 1357              	 
 1358              	
 1359              	
 1360              	   
 1361              		0:
 1362 aab5 03       		.byte	3
 1363 aab6 00       		.byte	0
 1364 aab7 80       		.byte	0x80
 1365 aab8 00       		.byte	0
 1366 aab9 702D63   		.ascii	"p-c"
 1367              		.align	4, 0
 1368 aabc A9AA0000 		.int	1b
 1369              		.equ	pminuscCFA, .
 1370              	pminusc:
 1371              	
 1372 aac0 C3       	ret ;
 1373              	
 1374              	
 1375              	 
 1376              	
 1377              	
 1378              	  
 1379              		1:
 1380 aac1 03       		.byte	3
 1381 aac2 00       		.byte	0
 1382 aac3 80       		.byte	0x80
 1383 aac4 00       		.byte	0
 1384 aac5 702D31   		.ascii	"p-1"
 1385              		.align	4, 0
 1386 aac8 B5AA0000 		.int	0b
 1387              		.equ	pminus1CFA, .
 1388              	pminus1:
 1389              	
 1390 aacc C3       	ret ;
 1391              	
 1392              	
 1393              	 
 1394              	
 1395              	
 1396              	
 1397              	   
 1398              		0:
 1399 aacd 03       		.byte	3
 1400 aace 00       		.byte	0
 1401 aacf 80       		.byte	0x80
 1402 aad0 00       		.byte	0
 1403 aad1 702D3E   		.ascii	"p->"
 1404              		.align	4, 0
 1405 aad4 C1AA0000 		.int	1b
 1406              		.equ	pTOCFA, .
 1407              	pTO:
 1408              	
 1409 aad8 01D3     	add %edx , %ebx ; 
 1410 aada C3       	ret ;
 1411              	
 1412              	
 1413              	 
 1414              	
 1415              	
 1416              	  
 1417              		1:
 1418 aadb 04       		.byte	4
 1419 aadc 00       		.byte	0
 1420 aadd 80       		.byte	0x80
 1421 aade 00       		.byte	0
 1422 aadf 702D3E72 		.ascii	"p->r"
 1423 aae3 00       		.align	4, 0
 1424 aae4 CDAA0000 		.int	0b
 1425              		.equ	pTOrCFA, .
 1426              	pTOr:
 1427              	
 1428 aae8 C3       	ret ;
 1429              	
 1430              	
 1431              	 
 1432              	
 1433              	
 1434              	   
 1435              		0:
 1436 aae9 04       		.byte	4
 1437 aaea 00       		.byte	0
 1438 aaeb 80       		.byte	0x80
 1439 aaec 00       		.byte	0
 1440 aaed 702D3E73 		.ascii	"p->s"
 1441 aaf1 000000   		.align	4, 0
 1442 aaf4 DBAA0000 		.int	1b
 1443              		.equ	pTOsCFA, .
 1444              	pTOs:
 1445              	
 1446 aaf8 C3       	ret ;
 1447              	
 1448              	
 1449              	 
 1450              	
 1451              	
 1452              	  
 1453              		1:
 1454 aaf9 02       		.byte	2
 1455 aafa 00       		.byte	0
 1456 aafb 80       		.byte	0x80
 1457 aafc 00       		.byte	0
 1458 aafd 7021     		.ascii	"p!"
 1459 aaff 00       		.align	4, 0
 1460 ab00 E9AA0000 		.int	0b
 1461              		.equ	pstoreCFA, .
 1462              	pstore:
 1463              	
 1464 ab04 C3       	ret ;
 1465              	
 1466              	
 1467              	 
 1468              	
 1469              	
 1470              	   
 1471              		0:
 1472 ab05 05       		.byte	5
 1473 ab06 00       		.byte	0
 1474 ab07 80       		.byte	0x80
 1475 ab08 00       		.byte	0
 1476 ab09 70737761 		.ascii	"pswap"
 1476      70
 1477 ab0e 0000     		.align	4, 0
 1478 ab10 F9AA0000 		.int	1b
 1479              		.equ	pswapCFA, .
 1480              	pswap:
 1481              	
 1482 ab14 C3       	ret ;
 1483              	
 1484              	
 1485              	 
 1486              	
 1487              	
 1488              	  
 1489              		1:
 1490 ab15 03       		.byte	3
 1491 ab16 00       		.byte	0
 1492 ab17 80       		.byte	0x80
 1493 ab18 00       		.byte	0
 1494 ab19 707570   		.ascii	"pup"
 1495              		.align	4, 0
 1496 ab1c 05AB0000 		.int	0b
 1497              		.equ	pupCFA, .
 1498              	pup:
 1499              	
 1500 ab20 C3       	ret ;
 1501              	
 1502              	
 1503              	 
 1504              	
 1505              	
 1506              	   
 1507              		0:
 1508 ab21 05       		.byte	5
 1509 ab22 00       		.byte	0
 1510 ab23 80       		.byte	0x80
 1511 ab24 00       		.byte	0
 1512 ab25 72657420 		.ascii	"ret ;"
 1512      3B
 1513 ab2a 0000     		.align	4, 0
 1514 ab2c 15AB0000 		.int	1b
 1515              		.equ	ReturnCFA, .
 1516              	Return:
 1517              	
 1518 ab30 C3       	ret ;			
 1519              	
 1520              	
 1521              	 
 1522              	
 1523              	
 1524              	  
 1525              		1:
 1526 ab31 05       		.byte	5
 1527 ab32 00       		.byte	0
 1528 ab33 80       		.byte	0x80
 1529 ab34 00       		.byte	0
 1530 ab35 7264726F 		.ascii	"rdrop"
 1530      70
 1531 ab3a 0000     		.align	4, 0
 1532 ab3c 21AB0000 		.int	0b
 1533              		.equ	rdropCFA, .
 1534              	rdrop:
 1535              	
 1536 ab40 C3       	ret ;
 1537              	
 1538              	
 1539              	 
 1540              	
 1541              	
 1542              	   
 1543              		0:
 1544 ab41 06       		.byte	6
 1545 ab42 00       		.byte	0
 1546 ab43 80       		.byte	0x80
 1547 ab44 00       		.byte	0
 1548 ab45 7270636F 		.ascii	"rpcopy"
 1548      7079
 1549 ab4b 00       		.align	4, 0
 1550 ab4c 31AB0000 		.int	1b
 1551              		.equ	rpcopyCFA, .
 1552              	rpcopy:
 1553              	
 1554 ab50 C3       	ret ;
 1555              	
 1556              	
 1557              	 
 1558              	
 1559              	
 1560              	
 1561              	
 1562              	 
 1563              	
 1564              	
 1565              	   
 1566              		0:
 1567 ab51 03       		.byte	3
 1568 ab52 00       		.byte	0
 1569 ab53 80       		.byte	0x80
 1570 ab54 00       		.byte	0
 1571 ab55 3C2D72   		.ascii	"<-r"
 1572              		.align	4, 0
 1573 ab58 31AB0000 		.int	1b
 1574              		.equ	rTOCFA, .
 1575              	rTO:
 1576              	
 1577 ab5c 01D3     	add %edx , %ebx ; 
 1578 ab5e 8923     	movl %esp , (%ebx)
 1579 ab60 C3       	ret ;
 1580              	
 1581              	
 1582              	 
 1583              	
 1584              	
 1585              	  
 1586              		1:
 1587 ab61 04       		.byte	4
 1588 ab62 00       		.byte	0
 1589 ab63 80       		.byte	0x80
 1590 ab64 00       		.byte	0
 1591 ab65 722D3E70 		.ascii	"r->p"
 1592 ab69 000000   		.align	4, 0
 1593 ab6c 51AB0000 		.int	0b
 1594              		.equ	rTOpCFA, .
 1595              	rTOp:
 1596              	
 1597 ab70 C3       	ret ;
 1598              	
 1599              	
 1600              	 
 1601              	
 1602              	
 1603              	   
 1604              		0:
 1605 ab71 04       		.byte	4
 1606 ab72 00       		.byte	0
 1607 ab73 80       		.byte	0x80
 1608 ab74 00       		.byte	0
 1609 ab75 722D3E73 		.ascii	"r->s"
 1610 ab79 000000   		.align	4, 0
 1611 ab7c 61AB0000 		.int	1b
 1612              		.equ	rTOsCFA, .
 1613              	rTOs:
 1614              	
 1615 ab80 89E2     	movl %esp , %edx
 1616 ab82 C3       	ret ;
 1617              	
 1618              	
 1619              	 
 1620              	
 1621              	
 1622              	  
 1623              		1:
 1624 ab83 04       		.byte	4
 1625 ab84 00       		.byte	0
 1626 ab85 80       		.byte	0x80
 1627 ab86 00       		.byte	0
 1628 ab87 73776170 		.ascii	"swap"
 1629 ab8b 00       		.align	4, 0
 1630 ab8c 71AB0000 		.int	0b
 1631              		.equ	swapCFA, .
 1632              	swap:
 1633              	
 1634 ab90 C3       	ret ;
 1635              	
 1636              	
 1637              	 
 1638              	
 1639              	
 1640              	   
 1641              		0:
 1642 ab91 07       		.byte	7
 1643 ab92 00       		.byte	0
 1644 ab93 80       		.byte	0x80
 1645 ab94 00       		.byte	0
 1646 ab95 73657453 		.ascii	"setSize"
 1646      697A65
 1647              		.align	4, 0
 1648 ab9c 83AB0000 		.int	1b
 1649              		.equ	setSizeCFA, .
 1650              	setSize:
 1651              	
 1652 aba0 19D3     	sbb %edx , %ebx ; 
 1653 aba2 C3       	ret ;
 1654              	
 1655              	
 1656              	 
 1657              	
 1658              	
 1659              	  
 1660              		1:
 1661 aba3 04       		.byte	4
 1662 aba4 00       		.byte	0
 1663 aba5 80       		.byte	0x80
 1664 aba6 00       		.byte	0
 1665 aba7 732D3E72 		.ascii	"s->r"
 1666 abab 00       		.align	4, 0
 1667 abac 91AB0000 		.int	0b
 1668              		.equ	sTOrCFA, .
 1669              	sTOr:
 1670              	
 1671 abb0 C3       	ret ;
 1672              	
 1673              	
 1674              	 
 1675              	
 1676              	
 1677              	   
 1678              		0:
 1679 abb1 04       		.byte	4
 1680 abb2 00       		.byte	0
 1681 abb3 80       		.byte	0x80
 1682 abb4 00       		.byte	0
 1683 abb5 732D3E70 		.ascii	"s->p"
 1684 abb9 000000   		.align	4, 0
 1685 abbc A3AB0000 		.int	1b
 1686              		.equ	sTOpCFA, .
 1687              	sTOp:
 1688              	
 1689 abc0 C3       	ret ;
 1690              	
 1691              	
 1692              	 
 1693              						
 1694              	
 1695              	
 1696              	  
 1697              		1:
 1698 abc1 01       		.byte	1
 1699 abc2 00       		.byte	0
 1700 abc3 80       		.byte	0x80
 1701 abc4 00       		.byte	0
 1702 abc5 21       		.ascii	"!"
 1703 abc6 0000     		.align	4, 0
 1704 abc8 B1AB0000 		.int	0b
 1705              		.equ	storeCFA, .
 1706              	store:
 1707              	
 1708 abcc 19D3     	sbb %edx , %ebx ; 
 1709 abce C3       	ret ;
 1710              	
 1711              	
 1712              	 
 1713              	
 1714              	
 1715              	   
 1716              		0:
 1717 abcf 03       		.byte	3
 1718 abd0 00       		.byte	0
 1719 abd1 80       		.byte	0x80
 1720 abd2 00       		.byte	0
 1721 abd3 736262   		.ascii	"sbb"
 1722 abd6 0000     		.align	4, 0
 1723 abd8 C1AB0000 		.int	1b
 1724              		.equ	sbbCFA, .
 1725              	sbb:
 1726              	
 1727 abdc C3       	ret ;				
 1728              	
 1729              	
 1730              	 
 1731              	
 1732              	
 1733              	  
 1734              		1:
 1735 abdd 03       		.byte	3
 1736 abde 00       		.byte	0
 1737 abdf 80       		.byte	0x80
 1738 abe0 00       		.byte	0
 1739 abe1 2D3E72   		.ascii	"->r"
 1740              		.align	4, 0
 1741 abe4 CFAB0000 		.int	0b
 1742              		.equ	TOrCFA, .
 1743              	TOr:
 1744              	
 1745 abe8 19D3     	sbb %edx , %ebx ; 
 1746 abea C3       	ret ;
 1747              	
 1748              	
 1749              	 
 1750              	
 1751              	
 1752              	   
 1753              		0:
 1754 abeb 06       		.byte	6
 1755 abec 00       		.byte	0
 1756 abed 80       		.byte	0x80
 1757 abee 00       		.byte	0
 1758 abef 2D3E636F 		.ascii	"->code"
 1758      6465
 1759 abf5 000000   		.align	4, 0
 1760 abf8 DDAB0000 		.int	1b
 1761              		.equ	TOcodeCFA, .
 1762              	TOcode:
 1763              	
 1764 abfc C3       	ret ;
 1765              	
 1766              	
 1767              	 
 1768              	
 1769              	
 1770              	  
 1771              		1:
 1772 abfd 06       		.byte	6
 1773 abfe 00       		.byte	0
 1774 abff 80       		.byte	0x80
 1775 ac00 00       		.byte	0
 1776 ac01 2D3E6C69 		.ascii	"->link"
 1776      6E6B
 1777 ac07 00       		.align	4, 0
 1778 ac08 EBAB0000 		.int	0b
 1779              		.equ	TOlinkCFA, .
 1780              	TOlink:
 1781              	
 1782 ac0c C3       	ret ;
 1783              	
 1784              	
 1785              	 
 1786              	
 1787              	
 1788              	   
 1789              		0:
 1790 ac0d 03       		.byte	3
 1791 ac0e 00       		.byte	0
 1792 ac0f 80       		.byte	0x80
 1793 ac10 00       		.byte	0
 1794 ac11 2D3E70   		.ascii	"->p"
 1795              		.align	4, 0
 1796 ac14 FDAB0000 		.int	1b
 1797              		.equ	TOpCFA, .
 1798              	TOp:
 1799              	
 1800 ac18 19D3     	sbb %edx , %ebx ; 
 1801 ac1a C3       	ret ;
 1802              	
 1803              	
 1804              	 
 1805              	
 1806              	
 1807              	  
 1808              		1:
 1809 ac1b 04       		.byte	4
 1810 ac1c 00       		.byte	0
 1811 ac1d 80       		.byte	0x80
 1812 ac1e 00       		.byte	0
 1813 ac1f 74727565 		.ascii	"true"
 1814 ac23 00       		.align	4, 0
 1815 ac24 0DAC0000 		.int	0b
 1816              		.equ	trueCFA, .
 1817              	true:
 1818              	
 1819 ac28 01D3     	add %edx , %ebx ; 
 1820 ac2a C3       	ret ;
 1821              	
 1822              	
 1823              	 
 1824              	
 1825              	
 1826              	   
 1827              		0:
 1828 ac2b 06       		.byte	6
 1829 ac2c 00       		.byte	0
 1830 ac2d 80       		.byte	0x80
 1831 ac2e 00       		.byte	0
 1832 ac2f 32706472 		.ascii	"2pdrop"
 1832      6F70
 1833 ac35 000000   		.align	4, 0
 1834 ac38 1BAC0000 		.int	1b
 1835              		.equ	twopdropCFA, .
 1836              	twopdrop:
 1837              	
 1838 ac3c C3       	ret ;
 1839              	
 1840              	 
 1841              	
 1842              	
 1843              	  
 1844              		1:
 1845 ac3d 03       		.byte	3
 1846 ac3e 00       		.byte	0
 1847 ac3f 80       		.byte	0x80
 1848 ac40 00       		.byte	0
 1849 ac41 73616C   		.ascii	"sal"
 1850              		.align	4, 0
 1851 ac44 2BAC0000 		.int	0b
 1852              		.equ	salCFA, .
 1853              	sal:
 1854              	
 1855              	
 1856 ac48 19D3     	sbb %edx , %ebx ; 					
 1857 ac4a C3       	ret ;
 1858              	
 1859              	  
 1860              	
 1861              	
 1862              	   
 1863              		0:
 1864 ac4b 01       		.byte	1
 1865 ac4c 00       		.byte	0
 1866 ac4d 80       		.byte	0x80
 1867 ac4e 00       		.byte	0
 1868 ac4f 78       		.ascii	"x"
 1869              		.align	4, 0
 1870 ac50 3DAC0000 		.int	1b
 1871              		.equ	printhexCFA, .
 1872              	printhex:
 1873              	
 1874 ac54 19D3     	sbb %edx , %ebx ; 
 1875 ac56 C3       	ret ;
 1876              	
 1877              	
 1878              	  
 1879              	
 1880              	
 1881              	  
 1882              		1:
 1883 ac57 03       		.byte	3
 1884 ac58 00       		.byte	0
 1885 ac59 80       		.byte	0x80
 1886 ac5a 00       		.byte	0
 1887 ac5b 786F72   		.ascii	"xor"
 1888 ac5e 0000     		.align	4, 0
 1889 ac60 4BAC0000 		.int	0b
 1890              		.equ	xorCFA, .
 1891              	xor:
 1892              	
 1893 ac64 89DE     	movl %ebx , %esi ;
 1894 ac66 19D3     	sbb %edx , %ebx ; 
 1895 ac68 C3       	ret ;
 1896              	
 1897              	
 1898              	 
 1899              	
 1900              	
 1901              	   
 1902              		0:
 1903 ac69 03       		.byte	3
 1904 ac6a 00       		.byte	0
 1905 ac6b 80       		.byte	0x80
 1906 ac6c 00       		.byte	0
 1907 ac6d 796573   		.ascii	"yes"
 1908              		.align	4, 0
 1909 ac70 57AC0000 		.int	1b
 1910              		.equ	yesCFA, .
 1911              	yes:
 1912              	
 1913 ac74 19D3     	sbb %edx , %ebx ; 
 1914 ac76 C3       	ret ;
 1915              	
 1916              	
 1917              	 
 1918              	
 1919              	
 1920              	  
 1921              		1:
 1922 ac77 04       		.byte	4
 1923 ac78 00       		.byte	0
 1924 ac79 80       		.byte	0x80
 1925 ac7a 00       		.byte	0
 1926 ac7b 7A65726F 		.ascii	"zero"
 1927 ac7f 00       		.align	4, 0
 1928 ac80 69AC0000 		.int	0b
 1929              		.equ	zeroCFA, .
 1930              	zero:
 1931              	
 1932              	
 1933 ac84 01D3     	add %edx , %ebx ; 
 1934 ac86 C3       	ret ;
 1935              	
 1936              	
 1937              	   
 1938              		0:
 1939 ac87 0A       		.byte	10
 1940 ac88 00       		.byte	0
 1941 ac89 80       		.byte	0x80
 1942 ac8a 00       		.byte	0
 1943 ac8b 3C3C3C54 		.ascii	"<<<THREADS"
 1943      48524541 
 1943      4453
 1944 ac95 000000   		.align	4, 0
 1945 ac98 77AC0000 		.int	1b
 1946              		.equ	thxbtixioCFA, .
 1947              	thxbtixio:
 1948              	
 1949              	
 1950              	 
 1951              	 
 1952              	
 1953              	 
 1954              	
 1955              	
 1956              	 
 1957              	
 1958              	
 1959              	 
 1960              	
 1961              	
 1962              	 
 1963              	
 1964              	
 1965              	 
 1966              	
 1967              	
 1968              	 
 1969              	
 1970              	
 1971              	
 1972              	
 1973              	
 1974              	 
 1975              	
 1976              	  
 1977              		1:
 1978 ac9c 05       		.byte 5
 1979 ac9d 00       		.byte 0
 1980 ac9e 00       		.byte 0
 1981 ac9f 00       		.byte 0
 1982 aca0 626C6F63 		.ascii "block"
 1982      6B
 1983 aca5 000000   		.align 4, 0
 1984 aca8 87AC0000 		.int  0b
 1985              		.equ	blockCFA, .
 1986              	
 1987 acac 50A70000 	.int addressCFA 
 1988 acb0 00000000 	.int 0 ; 
 1989 acb4 00000000 		.org . + 1024 
 1989      00000000 
 1989      00000000 
 1989      00000000 
 1989      00000000 
 1990              	
 1991              	
 1992              	
 1993              	  
 1994              		0:
 1995 b0b4 06       		.byte 6
 1996 b0b5 00       		.byte 0
 1997 b0b6 00       		.byte 0
 1998 b0b7 00       		.byte 0
 1999 b0b8 62756666 		.ascii "buffer"
 1999      6572
 2000 b0be 0000     		.align 4, 0
 2001 b0c0 9CAC0000 		.int  1b
 2002              		.equ	bufferCFA, .
 2003              	
 2004 b0c4 50A70000 	.int addressCFA 
 2005 b0c8 00000000 	.int 0 ; 
 2006 b0cc 00000000 		.org . + 2048 
 2006      00000000 
 2006      00000000 
 2006      00000000 
 2006      00000000 
 2007              	
 2008              	
 2009              	
 2010              	  
 2011              		1:
 2012 b8cc 03       		.byte 3
 2013 b8cd 00       		.byte 0
 2014 b8ce 00       		.byte 0
 2015 b8cf 00       		.byte 0
 2016 b8d0 627369   		.ascii "bsi"
 2017 b8d3 00       		.align 4, 0
 2018 b8d4 B4B00000 		.int  0b
 2019              		.equ	bsiCFA, .
 2020              	
 2021 b8d8 50A70000 	.int addressCFA 
 2022 b8dc 00000000 	.int 0 ; 
 2023              	
 2024              	
 2025              	
 2026              	  
 2027              		0:
 2028 b8e0 0B       		.byte 11
 2029 b8e1 00       		.byte 0
 2030 b8e2 00       		.byte 0
 2031 b8e3 00       		.byte 0
 2032 b8e4 6272616E 		.ascii "branchstack"
 2032      63687374 
 2032      61636B
 2033 b8ef 00       		.align 4, 0
 2034 b8f0 CCB80000 		.int  1b
 2035              		.equ	branchstackCFA, .
 2036              	
 2037 b8f4 50A70000 	.int addressCFA 
 2038 b8f8 00000000 	.int 0 ; 
 2039 b8fc 00000000 		.org . + 128 
 2039      00000000 
 2039      00000000 
 2039      00000000 
 2039      00000000 
 2040              		
 2041              	
 2042              	
 2043              	
 2044              	  
 2045              		1:
 2046 b97c 06       		.byte 6
 2047 b97d 00       		.byte 0
 2048 b97e 00       		.byte 0
 2049 b97f 00       		.byte 0
 2050 b980 64696769 		.ascii "digits"
 2050      7473
 2051 b986 0000     		.align 4, 0
 2052 b988 E0B80000 		.int  0b
 2053              		.equ	digitsCFA, .
 2054              	
 2055 b98c 50A70000 	.int addressCFA 
 2056 b990 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ;  
 2056      00000000 
 2056      00000000 
 2056      00000000 
 2057 b9a0 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2057      00000000 
 2057      00000000 
 2057      00000000 
 2058 b9b0 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2058      00000000 
 2058      00000000 
 2058      00000000 
 2059 b9c0 00       	.byte 0x00
 2060 b9c1 01       			.byte 0x01
 2061 b9c2 02       			.byte 0x02
 2062 b9c3 03       			.byte 0x03 
 2063 b9c4 04       	.byte 0x04
 2064 b9c5 05       			.byte 0x05
 2065 b9c6 06       			.byte 0x06
 2066 b9c7 07       			.byte 0x07 
 2067 b9c8 08       	.byte 0x08
 2068 b9c9 09       			.byte 0x09
 2069 b9ca 00       			.byte 0x00
 2070 b9cb 00       			.byte 0x00 
 2071 b9cc 00000000 	.int 0  ; 
 2072 b9d0 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2072      00000000 
 2072      00000000 
 2072      00000000 
 2073 b9e0 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2073      00000000 
 2073      00000000 
 2073      00000000 
 2074 b9f0 00       	.byte 0x00
 2075 b9f1 0A       			.byte 0x0a
 2076 b9f2 0B       			.byte 0x0b
 2077 b9f3 0C       			.byte 0x0c 
 2078 b9f4 0D       	.byte 0x0d
 2079 b9f5 0E       			.byte 0x0e
 2080 b9f6 0F       			.byte 0x0f
 2081 b9f7 00       			.byte 0x00 
 2082 b9f8 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2082      00000000 
 2082      00000000 
 2082      00000000 
 2083 ba08 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2083      00000000 
 2083      00000000 
 2083      00000000 
 2084 ba18 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2084      00000000 
 2084      00000000 
 2084      00000000 
 2085 ba28 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2085      00000000 
 2085      00000000 
 2085      00000000 
 2086              	
 2087              	
 2088              	
 2089              	  
 2090              		0:
 2091 ba38 02       		.byte 2
 2092 ba39 00       		.byte 0
 2093 ba3a 00       		.byte 0
 2094 ba3b 00       		.byte 0
 2095 ba3c 6470     		.ascii "dp"
 2096 ba3e 0000     		.align 4, 0
 2097 ba40 7CB90000 		.int  1b
 2098              		.equ	dpCFA, .
 2099              	
 2100 ba44 50A70000 	.int addressCFA 
 2101              	dpaddy:		
 2102 ba48 40C40000 			.int initial_HERE + 1000
 2103              	
 2104              	
 2105              	
 2106              	  
 2107              		1:
 2108 ba4c 03       		.byte 3
 2109 ba4d 00       		.byte 0
 2110 ba4e 00       		.byte 0
 2111 ba4f 00       		.byte 0
 2112 ba50 657061   		.ascii "epa"
 2113 ba53 00       		.align 4, 0
 2114 ba54 38BA0000 		.int  0b
 2115              		.equ	epaCFA, .
 2116              	
 2117              	 
 2118 ba58 50A70000 	.int addressCFA 
 2119              	epal:
 2120 ba5c 00000000 	.int 0 ; 
 2121              	
 2122              	
 2123              	
 2124              	  
 2125              		0:
 2126 ba60 09       		.byte 9
 2127 ba61 00       		.byte 0
 2128 ba62 00       		.byte 0
 2129 ba63 00       		.byte 0
 2130 ba64 68657864 		.ascii "hexdigits"
 2130      69676974 
 2130      73
 2131 ba6d 000000   		.align 4, 0
 2132 ba70 4CBA0000 		.int  1b
 2133              		.equ	hexdigitsCFA, .
 2134              	
 2135              	       
 2136 ba74 50A70000 	.int addressCFA 
 2137 ba78 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2137      00000000 
 2137      00000000 
 2137      00000000 
 2138 ba88 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2138      00000000 
 2138      00000000 
 2138      00000000 
 2139 ba98 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2139      00000000 
 2139      00000000 
 2139      00000000 
 2140 baa8 FF       	.byte 0xff
 2141 baa9 FF       			.byte 0xff
 2142 baaa FF       			.byte 0xff
 2143 baab FF       			.byte 0xff 
 2144 baac FF       	.byte 0xff
 2145 baad FF       			.byte 0xff
 2146 baae FF       			.byte 0xff
 2147 baaf FF       			.byte 0xff 
 2148 bab0 FF       	.byte 0xff
 2149 bab1 FF       			.byte 0xff
 2150 bab2 00       			.byte 0x00
 2151 bab3 00       			.byte 0x00 
 2152 bab4 00000000 	.int 0  ; 
 2153 bab8 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2153      00000000 
 2153      00000000 
 2153      00000000 
 2154 bac8 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2154      00000000 
 2154      00000000 
 2154      00000000 
 2155 bad8 00       	.byte 0x00
 2156 bad9 FF       			.byte 0xff
 2157 bada FF       			.byte 0xff
 2158 badb FF       			.byte 0xff 
 2159 badc FF       	.byte 0xff
 2160 badd FF       			.byte 0xff
 2161 bade FF       			.byte 0xff
 2162 badf 00       			.byte 0x00 
 2163 bae0 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2163      00000000 
 2163      00000000 
 2163      00000000 
 2164 baf0 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2164      00000000 
 2164      00000000 
 2164      00000000 
 2165 bb00 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2165      00000000 
 2165      00000000 
 2165      00000000 
 2166 bb10 00000000 	.int 0  ;  .int 0  ;  .int 0  ;  .int 0  ; 
 2166      00000000 
 2166      00000000 
 2166      00000000 
 2167              	
 2168              	
 2169              	
 2170              	  
 2171              		1:
 2172 bb20 06       		.byte 6
 2173 bb21 00       		.byte 0
 2174 bb22 00       		.byte 0
 2175 bb23 00       		.byte 0
 2176 bb24 6C617465 		.ascii "latest"
 2176      7374
 2177 bb2a 0000     		.align 4, 0
 2178 bb2c 60BA0000 		.int  0b
 2179              		.equ	latestCFA, .
 2180              	
 2181 bb30 50A70000 	.int addressCFA 		
 2182              	latest:			
 2183 bb34 40C00000 			.int initial_LATEST
 2184 bb38 00000000 	.int 0 ; 
 2185              	
 2186              	
 2187              	
 2188              	  
 2189              		0:
 2190 bb3c 04       		.byte 4
 2191 bb3d 00       		.byte 0
 2192 bb3e 00       		.byte 0
 2193 bb3f 00       		.byte 0
 2194 bb40 70766172 		.ascii "pvar"
 2195              		.align 4, 0
 2196 bb44 20BB0000 		.int  1b
 2197              		.equ	pvarCFA, .
 2198              	
 2199 bb48 50A70000 	.int addressCFA 
 2200 bb4c 00000000 	 .int 0 ; 
 2201              	
 2202              	
 2203              	
 2204              	  
 2205              		1:
 2206 bb50 06       		.byte 6
 2207 bb51 00       		.byte 0
 2208 bb52 00       		.byte 0
 2209 bb53 00       		.byte 0
 2210 bb54 72636669 		.ascii "rcfile"
 2210      6C65
 2211 bb5a 0000     		.align 4, 0
 2212 bb5c 3CBB0000 		.int  0b
 2213              		.equ	rcfileCFA, .
 2214              	
 2215 bb60 50A70000 	.int addressCFA 
 2216 bb64 00000000 	 .int 0 ; 
 2217 bb68 4833736D 	      	.asciz   "H3smrc" 
 2217      726300
 2218 bb6f 00       		.align 16, 0
 2219              	
 2220              	
 2221              	
 2222              	  
 2223              		0:
 2224 bb70 05       		.byte 5
 2225 bb71 00       		.byte 0
 2226 bb72 00       		.byte 0
 2227 bb73 00       		.byte 0
 2228 bb74 736F7572 		.ascii "sourc"
 2228      63
 2229 bb79 000000   		.align 4, 0
 2230 bb7c 50BB0000 		.int  1b
 2231              		.equ	sourcCFA, .
 2232              	
 2233 bb80 50A70000 	.int addressCFA  
 2234 bb84 00000000 	.int 0 ; 
 2235 bb88 00000000 	         .align 16, 0 
 2235      00000000 
 2236              	
 2237              	
 2238              	
 2239              	  
 2240              		1:
 2241 bb90 0B       		.byte 11
 2242 bb91 00       		.byte 0
 2243 bb92 00       		.byte 0
 2244 bb93 00       		.byte 0
 2245 bb94 74686973 		.ascii "thispointer"
 2245      706F696E 
 2245      746572
 2246 bb9f 00       		.align 4, 0
 2247 bba0 70BB0000 		.int  0b
 2248              		.equ	thispointerCFA, .
 2249              	
 2250 bba4 50A70000 	.int addressCFA 
 2251 bba8 00000000 	.int 0 ; 
 2252              	
 2253              	
 2254              	
 2255              	  
 2256              		0:
 2257 bbac 06       		.byte 6
 2258 bbad 00       		.byte 0
 2259 bbae 00       		.byte 0
 2260 bbaf 00       		.byte 0
 2261 bbb0 746F6B6C 		.ascii "toklen"
 2261      656E
 2262 bbb6 0000     		.align 4, 0
 2263 bbb8 90BB0000 		.int  1b
 2264              		.equ	toklenCFA, .
 2265              	
 2266 bbbc 50A70000 	.int addressCFA 
 2267 bbc0 00000000 	.int 0 ; 
 2268              	
 2269              	
 2270              	
 2271              	  
 2272              		1:
 2273 bbc4 0B       		.byte 11
 2274 bbc5 00       		.byte 0
 2275 bbc6 00       		.byte 0
 2276 bbc7 00       		.byte 0
 2277 bbc8 74617267 		.ascii "targetstack"
 2277      65747374 
 2277      61636B
 2278 bbd3 00       		.align 4, 0
 2279 bbd4 ACBB0000 		.int  0b
 2280              		.equ	targetstackCFA, .
 2281              	
 2282 bbd8 50A70000 	.int addressCFA 
 2283 bbdc 00000000 	.int 0 ; 
 2284 bbe0 00000000 		.org . + 32 
 2284      00000000 
 2284      00000000 
 2284      00000000 
 2284      00000000 
 2285              		
 2286              	
 2287              	
 2288              	
 2289              	  
 2290              		0:
 2291 bc00 02       		.byte 2
 2292 bc01 00       		.byte 0
 2293 bc02 00       		.byte 0
 2294 bc03 00       		.byte 0
 2295 bc04 7462     		.ascii "tb"
 2296 bc06 0000     		.align 4, 0
 2297 bc08 C4BB0000 		.int  1b
 2298              		.equ	tbCFA, .
 2299              	
 2300 bc0c 50A70000 	.int addressCFA 
 2301 bc10 00000000 	.int 0 ; 
 2302 bc14 00000000 		.org . + 1024 
 2302      00000000 
 2302      00000000 
 2302      00000000 
 2302      00000000 
 2303              	
 2304              	
 2305              	
 2306              	  
 2307              		1:
 2308 c014 03       		.byte 3
 2309 c015 00       		.byte 0
 2310 c016 00       		.byte 0
 2311 c017 00       		.byte 0
 2312 c018 747369   		.ascii "tsi"
 2313 c01b 00       		.align 4, 0
 2314 c01c 00BC0000 		.int  0b
 2315              		.equ	tsiCFA, .
 2316              	
 2317 c020 50A70000 	.int addressCFA 
 2318 c024 00000000 	.int 0 ; 
 2319              	
 2320              	
 2321              	
 2322              	  
 2323              		0:
 2324 c028 05       		.byte 5
 2325 c029 00       		.byte 0
 2326 c02a 00       		.byte 0
 2327 c02b 00       		.byte 0
 2328 c02c 5553697A 		.ascii "USize"
 2328      65
 2329 c031 000000   		.align 4, 0
 2330 c034 14C00000 		.int  1b
 2331              		.equ	USizeCFA, .
 2332              	
 2333 c038 50A70000 	.int addressCFA 
 2334 c03c 04000000 	.int 4 ; 				
 2335              	
 2336              	
 2337              	
 2338              	
 2339              	 
 2340              	
 2341              	  
 2342              	
 2343              	
 2344              	initial_LATEST:		
 2345              	  
 2346              		1:
 2347 c040 06       		.byte 6
 2348 c041 00       		.byte 0
 2349 c042 00       		.byte 0
 2350 c043 00       		.byte 0
 2351 c044 7A79676F 		.ascii "zygote"
 2351      7465
 2352 c04a 0000     		.align 4, 0
 2353 c04c 28C00000 		.int  0b
 2354              		.equ	zygoteCFA, .
 2355              	
 2356              			
 2357              	zygote:
 2358              	
 2359 c050 E4A90000 	.int onbitsCFA 
 2360              	
 2361              	.equ top_loop_of_H3sm_one, .	
 2362 c054 54C00000 	.int top_loop_of_H3sm_one	
 2363              	
 2364              	
 2365              	 
 2366              	
 2367              	initial_HERE:
 2368              	
 2369 c058 C3       	ret ;			
 2370              	
 2371              	 
 2372              	
 2373              	
 2374              	
 2375              	 
 2376              	
