about summary refs log blame commit diff stats
path: root/arc/factorial.mu
blob: 96a28fd3e6da197438589eaa95ecdfbfde5900a2 (plain) (tree)
1
2
3
4
5
6
7
8
9
                     
                                                               
                           
         
                     


                                                
   




                                                          

  
                
                                    
                                 
                                                
                           
  
(function factorial [
  (default-space:space-address <- new space:literal 30:literal)
  (n:integer <- next-input)
  { begin
    ; if n=0 return 1
    (zero?:boolean <- equal n:integer 0:literal)
    (break-unless zero?:boolean)
    (reply 1:literal)
  }
  ; return n*factorial(n-1)
  (x:integer <- subtract n:integer 1:literal)
  (subresult:integer <- factorial x:integer)
  (result:integer <- multiply subresult:integer n:integer)
  (reply result:integer)
])

(function main [
  (1:integer <- factorial 5:literal)
  ($print (("result: " literal)))
  (print-integer nil:literal/terminal 1:integer)
  ($print (("\n" literal)))
])
='n635' href='#n635'>635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937
parse/0: instruction: run
parse/0:   ingredient: {name: "
    1:address:array:character/raw <- new [hello,]
    2:address:array:character/raw <- new [ world!]
    3:address:array:character/raw <- string-append 1:address:array:character/raw, 2:address:array:character/raw
    4:array:character/raw <- copy 3:address:array:character/raw/deref
  ", value: 0, type: 0, properties: ["
    1:address:array:character/raw <- new [hello,]
    2:address:array:character/raw <- new [ world!]
    3:address:array:character/raw <- string-append 1:address:array:character/raw, 2:address:array:character/raw
    4:array:character/raw <- copy 3:address:array:character/raw/deref
  ": "literal-string"]}
parse/0: instruction: memory-should-contain
parse/0:   ingredient: {name: "
    4:string <- [hello, world!]
  ", value: 0, type: 0, properties: ["
    4:string <- [hello, world!]
  ": "literal-string"]}
after-brace/0: recipe string-append-1
after-brace/0: run ...
after-brace/0: memory-should-contain ...
new/0: routine allocated memory from 1000 to 101000
schedule/0: string-append-1
run/0: instruction string-append-1/0
run/0: run/43 {name: "
    1:address:array:character/raw <- new [hello,]
    2:address:array:character/raw <- new [ world!]
    3:address:array:character/raw <- string-append 1:address:array:character/raw, 2:address:array:character/raw
    4:array:character/raw <- copy 3:address:array:character/raw/deref
  ", value: 0, type: 0, properties: ["
    1:address:array:character/raw <- new [hello,]
    2:address:array:character/raw <- new [ world!]
    3:address:array:character/raw <- string-append 1:address:array:character/raw, 2:address:array:character/raw
    4:array:character/raw <- copy 3:address:array:character/raw/deref
  ": "literal-string"]}
parse/0: instruction: new
parse/0:   ingredient: {name: "hello,", value: 0, type: 0, properties: ["hello,": "literal-string"]}
parse/0:   product: {name: "1", value: 0, type: 2-5-4, properties: ["1": "address":"array":"character", "raw": ]}
parse/0: instruction: new
parse/0:   ingredient: {name: " world!", value: 0, type: 0, properties: [" world!": "literal-string"]}
parse/0:   product: {name: "2", value: 0, type: 2-5-4, properties: ["2": "address":"array":"character", "raw": ]}
parse/0: instruction: string-append
parse/0:   ingredient: {name: "1", value: 0, type: 2-5-4, properties: ["1": "address":"array":"character", "raw": ]}
parse/0:   ingredient: {name: "2", value: 0, type: 2-5-4, properties: ["2": "address":"array":"character", "raw": ]}
parse/0:   product: {name: "3", value: 0, type: 2-5-4, properties: ["3": "address":"array":"character", "raw": ]}
parse/0: instruction: copy
parse/0:   ingredient: {name: "3", value: 0, type: 2-5-4, properties: ["3": "address":"array":"character", "raw": , "deref": ]}
parse/0:   product: {name: "4", value: 0, type: 5-4, properties: ["4": "array":"character", "raw": ]}
new/0: hello, -> 0
new/0:  world! -> 0
after-brace/0: recipe run1001
after-brace/0: new ...
after-brace/0: new ...
after-brace/0: string-append ...
after-brace/0: copy ...
run/0: instruction run1001/0
run/0: {name: "1", value: 1, type: 2-5-4, properties: ["1": "address":"array":"character", "raw": ]} <- new/42 {name: "hello,", value: 0, type: 0, properties: ["hello,": "literal-string"]}
mem/0: storing 1000 in location 1
run/0: instruction run1001/1
run/0: {name: "2", value: 2, type: 2-5-4, properties: ["2": "address":"array":"character", "raw": ]} <- new/42 {name: " world!", value: 0, type: 0, properties: [" world!": "literal-string"]}
mem/0: storing 1007 in location 2
run/0: instruction run1001/2
run/0: {name: "3", value: 3, type: 2-5-4, properties: ["3": "address":"array":"character", "raw": ]} <- string-append/106 {name: "1", value: 1, type: 2-5-4, properties: ["1": "address":"array":"character", "raw": ]}, {name: "2", value: 2, type: 2-5-4, properties: ["2": "address":"array":"character", "raw": ]}
mem/0: location 1 is 1000
mem/0: location 2 is 1007
run/0: instruction string-append/0
run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal"]}
mem/0: array size is 30
mem/0: new alloc: 1015
run/0: instruction string-append/1
run/0: {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character"]} <- next-ingredient/30 
run/0: product 0 is 1000
mem/0: storing 1000 in location 1017
run/0: instruction string-append/2
run/0: {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]} <- length/28 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
mem/0: location 1017 is 1000
mem/0: storing 6 in location 1018
run/0: instruction string-append/3
run/0: {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character"]} <- next-ingredient/30 
run/0: product 0 is 1007
mem/0: storing 1007 in location 1019
run/0: instruction string-append/4
run/0: {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]} <- length/28 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
mem/0: location 1019 is 1007
mem/0: storing 7 in location 1020
run/0: instruction string-append/5
run/0: {name: "result-len", value: 5, type: 1, properties: ["result-len": "integer"]} <- add/2 {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]}
run/0: ingredient 0 is a-len
mem/0: location 1018 is 6
run/0: ingredient 1 is b-len
mem/0: location 1020 is 7
run/0: product 0 is 13
mem/0: storing 13 in location 1021
run/0: instruction string-append/6
run/0: {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character"]} <- new/42 {name: "character", value: 4, type: 0, properties: ["character": "type"]}, {name: "result-len", value: 5, type: 1, properties: ["result-len": "integer"]}
mem/0: location 1021 is 13
mem/0: array size is 13
mem/0: new alloc: 1046
mem/0: storing 1046 in location 1022
run/0: instruction string-append/7
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- copy/1 {name: "0", value: 0, type: 0, properties: ["0": "literal"]}
run/0: ingredient 0 is 0
mem/0: storing 0 in location 1023
run/0: instruction string-append/8
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- copy/1 {name: "0", value: 0, type: 0, properties: ["0": "literal"]}
run/0: ingredient 0 is 0
mem/0: storing 0 in location 1024
run/0: instruction string-append/10
run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 0
run/0: ingredient 1 is a-len
mem/0: location 1018 is 6
run/0: product 0 is 0
mem/0: storing 0 in location 1025
run/0: instruction string-append/11
run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1025 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/12
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 0
run/0: address to copy is 1047
run/0: product 0 is 1047
mem/0: storing 1047 in location 1026
run/0: instruction string-append/13
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
mem/0: location 1017 is 1000
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 0
run/0: address to copy is 1001
run/0: its type is 4
mem/0: location 1001 is 104
run/0: product 0 is 104
mem/0: storing 104 in location 1027
run/0: instruction string-append/14
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 104
mem/0: location 1026 is 1047
mem/0: storing 104 in location 1047
run/0: instruction string-append/15
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 0
run/0: ingredient 1 is 1
run/0: product 0 is 1
mem/0: storing 1 in location 1024
run/0: instruction string-append/16
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 0
run/0: ingredient 1 is 1
run/0: product 0 is 1
mem/0: storing 1 in location 1023
run/0: instruction string-append/17
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 10
run/0: instruction string-append/10
run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 1
run/0: ingredient 1 is a-len
mem/0: location 1018 is 6
run/0: product 0 is 0
mem/0: storing 0 in location 1025
run/0: instruction string-append/11
run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1025 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/12
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 1
run/0: address to copy is 1048
run/0: product 0 is 1048
mem/0: storing 1048 in location 1026
run/0: instruction string-append/13
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
mem/0: location 1017 is 1000
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 1
run/0: address to copy is 1002
run/0: its type is 4
mem/0: location 1002 is 101
run/0: product 0 is 101
mem/0: storing 101 in location 1027
run/0: instruction string-append/14
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 101
mem/0: location 1026 is 1048
mem/0: storing 101 in location 1048
run/0: instruction string-append/15
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 1
run/0: ingredient 1 is 1
run/0: product 0 is 2
mem/0: storing 2 in location 1024
run/0: instruction string-append/16
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 1
run/0: ingredient 1 is 1
run/0: product 0 is 2
mem/0: storing 2 in location 1023
run/0: instruction string-append/17
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 10
run/0: instruction string-append/10
run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 2
run/0: ingredient 1 is a-len
mem/0: location 1018 is 6
run/0: product 0 is 0
mem/0: storing 0 in location 1025
run/0: instruction string-append/11
run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1025 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/12
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 2
run/0: address to copy is 1049
run/0: product 0 is 1049
mem/0: storing 1049 in location 1026
run/0: instruction string-append/13
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
mem/0: location 1017 is 1000
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 2
run/0: address to copy is 1003
run/0: its type is 4
mem/0: location 1003 is 108
run/0: product 0 is 108
mem/0: storing 108 in location 1027
run/0: instruction string-append/14
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 108
mem/0: location 1026 is 1049
mem/0: storing 108 in location 1049
run/0: instruction string-append/15
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 2
run/0: ingredient 1 is 1
run/0: product 0 is 3
mem/0: storing 3 in location 1024
run/0: instruction string-append/16
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 2
run/0: ingredient 1 is 1
run/0: product 0 is 3
mem/0: storing 3 in location 1023
run/0: instruction string-append/17
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 10
run/0: instruction string-append/10
run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 3
run/0: ingredient 1 is a-len
mem/0: location 1018 is 6
run/0: product 0 is 0
mem/0: storing 0 in location 1025
run/0: instruction string-append/11
run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1025 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/12
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 3
run/0: address to copy is 1050
run/0: product 0 is 1050
mem/0: storing 1050 in location 1026
run/0: instruction string-append/13
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
mem/0: location 1017 is 1000
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 3
run/0: address to copy is 1004
run/0: its type is 4
mem/0: location 1004 is 108
run/0: product 0 is 108
mem/0: storing 108 in location 1027
run/0: instruction string-append/14
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 108
mem/0: location 1026 is 1050
mem/0: storing 108 in location 1050
run/0: instruction string-append/15
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 3
run/0: ingredient 1 is 1
run/0: product 0 is 4
mem/0: storing 4 in location 1024
run/0: instruction string-append/16
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 3
run/0: ingredient 1 is 1
run/0: product 0 is 4
mem/0: storing 4 in location 1023
run/0: instruction string-append/17
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 10
run/0: instruction string-append/10
run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 4
run/0: ingredient 1 is a-len
mem/0: location 1018 is 6
run/0: product 0 is 0
mem/0: storing 0 in location 1025
run/0: instruction string-append/11
run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1025 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/12
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 4
run/0: address to copy is 1051
run/0: product 0 is 1051
mem/0: storing 1051 in location 1026
run/0: instruction string-append/13
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
mem/0: location 1017 is 1000
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 4
run/0: address to copy is 1005
run/0: its type is 4
mem/0: location 1005 is 111
run/0: product 0 is 111
mem/0: storing 111 in location 1027
run/0: instruction string-append/14
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 111
mem/0: location 1026 is 1051
mem/0: storing 111 in location 1051
run/0: instruction string-append/15
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 4
run/0: ingredient 1 is 1
run/0: product 0 is 5
mem/0: storing 5 in location 1024
run/0: instruction string-append/16
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 4
run/0: ingredient 1 is 1
run/0: product 0 is 5
mem/0: storing 5 in location 1023
run/0: instruction string-append/17
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 10
run/0: instruction string-append/10
run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 5
run/0: ingredient 1 is a-len
mem/0: location 1018 is 6
run/0: product 0 is 0
mem/0: storing 0 in location 1025
run/0: instruction string-append/11
run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1025 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/12
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 5
run/0: address to copy is 1052
run/0: product 0 is 1052
mem/0: storing 1052 in location 1026
run/0: instruction string-append/13
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
mem/0: location 1017 is 1000
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 5
run/0: address to copy is 1006
run/0: its type is 4
mem/0: location 1006 is 44
run/0: product 0 is 44
mem/0: storing 44 in location 1027
run/0: instruction string-append/14
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 44
mem/0: location 1026 is 1052
mem/0: storing 44 in location 1052
run/0: instruction string-append/15
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 5
run/0: ingredient 1 is 1
run/0: product 0 is 6
mem/0: storing 6 in location 1024
run/0: instruction string-append/16
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 5
run/0: ingredient 1 is 1
run/0: product 0 is 6
mem/0: storing 6 in location 1023
run/0: instruction string-append/17
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 10
run/0: instruction string-append/10
run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 6
run/0: ingredient 1 is a-len
mem/0: location 1018 is 6
run/0: product 0 is 1
mem/0: storing 1 in location 1025
run/0: instruction string-append/11
run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1025 is 1
run/0: ingredient 0 is 1
run/0: ingredient 1 is 
run/0: jumping to instruction 18
run/0: instruction string-append/19
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- copy/1 {name: "0", value: 0, type: 0, properties: ["0": "literal"]}
run/0: ingredient 0 is 0
mem/0: storing 0 in location 1024
run/0: instruction string-append/21
run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 0
run/0: ingredient 1 is b-len
mem/0: location 1020 is 7
run/0: product 0 is 0
mem/0: storing 0 in location 1028
run/0: instruction string-append/22
run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1028 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/23
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 6
run/0: address to copy is 1053
run/0: product 0 is 1053
mem/0: storing 1053 in location 1026
run/0: instruction string-append/24
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
mem/0: location 1019 is 1007
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 0
run/0: address to copy is 1008
run/0: its type is 4
mem/0: location 1008 is 32
run/0: product 0 is 32
mem/0: storing 32 in location 1027
run/0: instruction string-append/25
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 32
mem/0: location 1026 is 1053
mem/0: storing 32 in location 1053
run/0: instruction string-append/26
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 0
run/0: ingredient 1 is 1
run/0: product 0 is 1
mem/0: storing 1 in location 1024
run/0: instruction string-append/27
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 6
run/0: ingredient 1 is 1
run/0: product 0 is 7
mem/0: storing 7 in location 1023
run/0: instruction string-append/28
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 21
run/0: instruction string-append/21
run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 1
run/0: ingredient 1 is b-len
mem/0: location 1020 is 7
run/0: product 0 is 0
mem/0: storing 0 in location 1028
run/0: instruction string-append/22
run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1028 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/23
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 7
run/0: address to copy is 1054
run/0: product 0 is 1054
mem/0: storing 1054 in location 1026
run/0: instruction string-append/24
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
mem/0: location 1019 is 1007
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 1
run/0: address to copy is 1009
run/0: its type is 4
mem/0: location 1009 is 119
run/0: product 0 is 119
mem/0: storing 119 in location 1027
run/0: instruction string-append/25
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 119
mem/0: location 1026 is 1054
mem/0: storing 119 in location 1054
run/0: instruction string-append/26
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 1
run/0: ingredient 1 is 1
run/0: product 0 is 2
mem/0: storing 2 in location 1024
run/0: instruction string-append/27
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 7
run/0: ingredient 1 is 1
run/0: product 0 is 8
mem/0: storing 8 in location 1023
run/0: instruction string-append/28
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 21
run/0: instruction string-append/21
run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 2
run/0: ingredient 1 is b-len
mem/0: location 1020 is 7
run/0: product 0 is 0
mem/0: storing 0 in location 1028
run/0: instruction string-append/22
run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1028 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/23
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 8
run/0: address to copy is 1055
run/0: product 0 is 1055
mem/0: storing 1055 in location 1026
run/0: instruction string-append/24
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
mem/0: location 1019 is 1007
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 2
run/0: address to copy is 1010
run/0: its type is 4
mem/0: location 1010 is 111
run/0: product 0 is 111
mem/0: storing 111 in location 1027
run/0: instruction string-append/25
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 111
mem/0: location 1026 is 1055
mem/0: storing 111 in location 1055
run/0: instruction string-append/26
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 2
run/0: ingredient 1 is 1
run/0: product 0 is 3
mem/0: storing 3 in location 1024
run/0: instruction string-append/27
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 8
run/0: ingredient 1 is 1
run/0: product 0 is 9
mem/0: storing 9 in location 1023
run/0: instruction string-append/28
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 21
run/0: instruction string-append/21
run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 3
run/0: ingredient 1 is b-len
mem/0: location 1020 is 7
run/0: product 0 is 0
mem/0: storing 0 in location 1028
run/0: instruction string-append/22
run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1028 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/23
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 9
run/0: address to copy is 1056
run/0: product 0 is 1056
mem/0: storing 1056 in location 1026
run/0: instruction string-append/24
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
mem/0: location 1019 is 1007
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 3
run/0: address to copy is 1011
run/0: its type is 4
mem/0: location 1011 is 114
run/0: product 0 is 114
mem/0: storing 114 in location 1027
run/0: instruction string-append/25
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 114
mem/0: location 1026 is 1056
mem/0: storing 114 in location 1056
run/0: instruction string-append/26
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 3
run/0: ingredient 1 is 1
run/0: product 0 is 4
mem/0: storing 4 in location 1024
run/0: instruction string-append/27
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 9
run/0: ingredient 1 is 1
run/0: product 0 is 10
mem/0: storing 10 in location 1023
run/0: instruction string-append/28
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 21
run/0: instruction string-append/21
run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 4
run/0: ingredient 1 is b-len
mem/0: location 1020 is 7
run/0: product 0 is 0
mem/0: storing 0 in location 1028
run/0: instruction string-append/22
run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1028 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/23
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 10
run/0: address to copy is 1057
run/0: product 0 is 1057
mem/0: storing 1057 in location 1026
run/0: instruction string-append/24
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
mem/0: location 1019 is 1007
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 4
run/0: address to copy is 1012
run/0: its type is 4
mem/0: location 1012 is 108
run/0: product 0 is 108
mem/0: storing 108 in location 1027
run/0: instruction string-append/25
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 108
mem/0: location 1026 is 1057
mem/0: storing 108 in location 1057
run/0: instruction string-append/26
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 4
run/0: ingredient 1 is 1
run/0: product 0 is 5
mem/0: storing 5 in location 1024
run/0: instruction string-append/27
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 10
run/0: ingredient 1 is 1
run/0: product 0 is 11
mem/0: storing 11 in location 1023
run/0: instruction string-append/28
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 21
run/0: instruction string-append/21
run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 5
run/0: ingredient 1 is b-len
mem/0: location 1020 is 7
run/0: product 0 is 0
mem/0: storing 0 in location 1028
run/0: instruction string-append/22
run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1028 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/23
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 11
run/0: address to copy is 1058
run/0: product 0 is 1058
mem/0: storing 1058 in location 1026
run/0: instruction string-append/24
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
mem/0: location 1019 is 1007
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 5
run/0: address to copy is 1013
run/0: its type is 4
mem/0: location 1013 is 100
run/0: product 0 is 100
mem/0: storing 100 in location 1027
run/0: instruction string-append/25
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 100
mem/0: location 1026 is 1058
mem/0: storing 100 in location 1058
run/0: instruction string-append/26
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 5
run/0: ingredient 1 is 1
run/0: product 0 is 6
mem/0: storing 6 in location 1024
run/0: instruction string-append/27
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 11
run/0: ingredient 1 is 1
run/0: product 0 is 12
mem/0: storing 12 in location 1023
run/0: instruction string-append/28
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 21
run/0: instruction string-append/21
run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 6
run/0: ingredient 1 is b-len
mem/0: location 1020 is 7
run/0: product 0 is 0
mem/0: storing 0 in location 1028
run/0: instruction string-append/22
run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1028 is 0
run/0: ingredient 0 is 0
run/0: jump-if fell through
run/0: instruction string-append/23
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
run/0: ingredient 0 is result
mem/0: location 1022 is 1046
run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
mem/0: location 1023 is 12
run/0: address to copy is 1059
run/0: product 0 is 1059
mem/0: storing 1059 in location 1026
run/0: instruction string-append/24
run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
mem/0: location 1019 is 1007
run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
mem/0: location 1024 is 6
run/0: address to copy is 1014
run/0: its type is 4
mem/0: location 1014 is 33
run/0: product 0 is 33
mem/0: storing 33 in location 1027
run/0: instruction string-append/25
run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]}
run/0: ingredient 0 is in
mem/0: location 1027 is 33
mem/0: location 1026 is 1059
mem/0: storing 33 in location 1059
run/0: instruction string-append/26
run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 6
run/0: ingredient 1 is 1
run/0: product 0 is 7
mem/0: storing 7 in location 1024
run/0: instruction string-append/27
run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
run/0: ingredient 0 is result-idx
mem/0: location 1023 is 12
run/0: ingredient 1 is 1
run/0: product 0 is 13
mem/0: storing 13 in location 1023
run/0: instruction string-append/28
run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]}
run/0: ingredient 0 is -8
run/0: jumping to instruction 21
run/0: instruction string-append/21
run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]}
run/0: ingredient 0 is i
mem/0: location 1024 is 7
run/0: ingredient 1 is b-len
mem/0: location 1020 is 7
run/0: product 0 is 1
mem/0: storing 1 in location 1028
run/0: instruction string-append/22
run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]}
mem/0: location 1028 is 1
run/0: ingredient 0 is 1
run/0: ingredient 1 is 
run/0: jumping to instruction 29
run/0: instruction string-append/30
run/0: reply/33 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character"]}
mem/0: location 1022 is 1046
run/0: result 0 is 1046
mem/0: storing 1046 in location 3
run/0: instruction run1001/3
run/0: {name: "4", value: 4, type: 5-4, properties: ["4": "array":"character", "raw": ]} <- copy/1 {name: "3", value: 3, type: 2-5-4, properties: ["3": "address":"array":"character", "raw": , "deref": ]}
run/0: ingredient 0 is 3
mem/0: location 3 is 1046
mem/0: location 1046 is 13
mem/0: location 1047 is 104
mem/0: location 1048 is 101
mem/0: location 1049 is 108
mem/0: location 1050 is 108
mem/0: location 1051 is 111
mem/0: location 1052 is 44
mem/0: location 1053 is 32
mem/0: location 1054 is 119
mem/0: location 1055 is 111
mem/0: location 1056 is 114
mem/0: location 1057 is 108
mem/0: location 1058 is 100
mem/0: location 1059 is 33
mem/0: storing 13 in location 4
mem/0: storing 104 in location 5
mem/0: storing 101 in location 6
mem/0: storing 108 in location 7
mem/0: storing 108 in location 8
mem/0: storing 111 in location 9
mem/0: storing 44 in location 10
mem/0: storing 32 in location 11
mem/0: storing 119 in location 12
mem/0: storing 111 in location 13
mem/0: storing 114 in location 14
mem/0: storing 108 in location 15
mem/0: storing 100 in location 16
mem/0: storing 33 in location 17
run/0: instruction string-append-1/1
run/0: memory-should-contain/44 {name: "
    4:string <- [hello, world!]
  ", value: 0, type: 0, properties: ["
    4:string <- [hello, world!]
  ": "literal-string"]}
run/0: checking string length at 4
run/0: checking location 5
run/0: checking location 6
run/0: checking location 7
run/0: checking location 8
run/0: checking location 9
run/0: checking location 10
run/0: checking location 11
run/0: checking location 12
run/0: checking location 13
run/0: checking location 14
run/0: checking location 15
run/0: checking location 16
run/0: checking location 17