about summary refs log blame commit diff stats
path: root/cpp/.traces/string-append-1
blob: f5362cf9da2586198dd6659f8306a244aec0459d (plain) (tree)























                                                                                                               
                      









                                                                                                               
                         

                                                                                                                 
                         

                                                                                                                 
                                   


                                                                                                                    
                          



                                                                                                                               
                             



                                
                            
                                                                                                                                                                                            
                                 
                            
                                                                                                                                                                                              
                                 
                            
                                                                                                                                                                                                                                                                                                                      


                                  
                                                                                                                                                                                                                                                                     
                       
                      
                                  
                                                                                                                  


                                    
                                                                                                                                                                                        


                                  
                                                                                                                  


                                    
                                                                                                                                                                                        


                                  
                                                                                                                                                                                                                                         






                                  
                                                                                                                                                                                                                                                                         

                          

                                    
                                  
                                                                                                                                                            


                                  
                                                                                                                                          


                                   
                                                                                                                                                                                                                                         






                                   
                                                                                                                                             



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                           

                                   
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                         






                                   
                                                                                                                                             



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                           

                                   
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                         






                                   
                                                                                                                                             



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                           

                                   
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                         






                                   
                                                                                                                                             



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                           

                                   
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                         






                                   
                                                                                                                                             



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                           

                                   
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                         






                                   
                                                                                                                                             



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                          

                                  
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                         






                                   
                                                                                                                                             




                                   
                                                                                                                                          


                                   
                                                                                                                                                                                                                                          






                                   
                                                                                                                                              



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                          

                                  
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                          






                                   
                                                                                                                                              



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                           

                                   
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                          






                                   
                                                                                                                                              



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                           

                                   
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                          






                                   
                                                                                                                                              



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                           

                                   
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                          






                                   
                                                                                                                                              



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                           

                                   
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                          






                                   
                                                                                                                                              



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                           

                                   
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                          






                                   
                                                                                                                                              



                                   
                                                                                                                                                                                                                                                                                                    
                             
                            

                                                                                                     


                                    
                                   
                                                                                                                                                                                                                                                  









                                                                                                                      
                                                                                                                                                                             

                          

                                  
                                   
                                                                                                                                                                                                       





                                   
                                                                                                                                                                                                                                           





                                   
                                                                
                         
                                
                                   
                                                                                                                                                                                                                                          






                                   
                                                                                                                                              




                                   
                                                                                                              


                                 
                            
                                                                                                                                                                                                           
                        



                           
                           









                           













                                 
                                    
                                        



                                      
                                  












                           
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