From b96af395b9af2ff9df94b3e82213171f30827c8d Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 5 May 2015 21:17:24 -0700 Subject: 1276 - make C++ version the default I've tried to update the Readme, but there are at least a couple of issues. --- arc/.traces/string-split-empty-piece | 1122 ++++++++++++++++++++++++++++++++++ 1 file changed, 1122 insertions(+) create mode 100644 arc/.traces/string-split-empty-piece (limited to 'arc/.traces/string-split-empty-piece') diff --git a/arc/.traces/string-split-empty-piece b/arc/.traces/string-split-empty-piece new file mode 100644 index 00000000..56157d9b --- /dev/null +++ b/arc/.traces/string-split-empty-piece @@ -0,0 +1,1122 @@ +c{0: 0 (((1 string-address)) <- ((new)) a/b//c) -- nil +c{0: 1 (((2 string-address-array-address)) <- ((split)) ((1 string-address)) ((/ literal))) -- nil +c{1: 0 ✓ (((1 string-address)) <- ((new)) a/b//c) +c{1: 1 ✓ (((2 string-address-array-address)) <- ((split)) ((1 string-address)) ((/ literal))) +cn0: convert-names in main +cn0: (((1 string-address)) <- ((new)) a/b//c) nil nil +cn0: checking arg a/b//c +cn0: checking oarg ((1 string-address)) +maybe-add: ((1 string-address)) +cn0: (((2 string-address-array-address)) <- ((split)) ((1 string-address)) ((/ literal))) nil nil +cn0: checking arg ((1 string-address)) +maybe-add: ((1 string-address)) +cn0: checking arg ((/ literal)) +cn0: checking oarg ((2 string-address-array-address)) +maybe-add: ((2 string-address-array-address)) +cn1: (((1 string-address)) <- ((new)) a/b//c) +cn1: (((2 string-address-array-address)) <- ((split)) ((1 string-address)) ((/ literal))) +schedule: main +run: main 0: (((1 string-address)) <- ((new)) a/b//c) +run: main 0: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1 <= 1000 +run: main 1: (((2 string-address-array-address)) <- ((split)) ((1 string-address)) ((/ literal))) +mem: ((1 string-address)) => 1000 +run: split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: split/main 0: 1007 => ((default-space space-address)) +run: split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 #\/) +run: split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1009 <= 1000 +run: split/main 2: (((2 character)) <- ((next-input))) +arg: nil 1 (1000 #\/) +run: split/main 2: #\/ => ((2 character)) +mem: ((2 character)): 1010 <= #\/ +run: split/main 3: (((3 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: split/main 3: 6 => ((3 integer)) +mem: ((3 integer)): 1011 <= 6 +run: split/main 4: (((4 boolean)) <- ((equal)) ((3 integer)) ((0 literal))) +mem: ((3 integer)) => 6 +run: split/main 4: nil => ((4 boolean)) +mem: ((4 boolean)): 1012 <= nil +run: split/main 5: (((jump-unless)) ((4 boolean)) ((2 offset))) +mem: ((4 boolean)) => nil +run: split/main 8: (((6 integer)) <- ((copy)) ((1 literal))) +run: split/main 8: 1 => ((6 integer)) +mem: ((6 integer)): 1014 <= 1 +run: split/main 9: (((7 integer)) <- ((copy)) ((0 literal))) +run: split/main 9: 0 => ((7 integer)) +mem: ((7 integer)): 1015 <= 0 +run: split/main 10: (((7 integer)) <- ((find-next)) ((1 string-address)) ((2 character)) ((7 integer))) +mem: ((1 string-address)) => 1000 +mem: ((2 character)) => / +mem: ((7 integer)) => 0 +run: find-next/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: find-next/split/main 0: 1038 => ((default-space space-address)) +run: find-next/split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 #\/ 0) +run: find-next/split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1040 <= 1000 +run: find-next/split/main 2: (((2 character)) <- ((next-input))) +arg: nil 1 (1000 #\/ 0) +run: find-next/split/main 2: #\/ => ((2 character)) +mem: ((2 character)): 1041 <= #\/ +run: find-next/split/main 3: (((3 integer)) <- ((next-input))) +arg: nil 2 (1000 #\/ 0) +run: find-next/split/main 3: 0 => ((3 integer)) +mem: ((3 integer)): 1042 <= 0 +run: find-next/split/main 4: (((4 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: find-next/split/main 4: 6 => ((4 integer)) +mem: ((4 integer)): 1043 <= 6 +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 0 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: nil => ((5 boolean)) +mem: ((5 boolean)): 1044 <= nil +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => nil +run: find-next/split/main 7: (((6 byte)) <- ((index)) ((1 string-address) (deref)) ((3 integer))) +mem: ((3 integer)) => 0 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1001 byte) (raw)) => a +run: find-next/split/main 7: #\a => ((6 byte)) +mem: ((6 byte)): 1045 <= #\a +run: find-next/split/main 8: (((7 boolean)) <- ((equal)) ((6 byte)) ((2 character))) +mem: ((6 byte)) => a +mem: ((2 character)) => / +run: find-next/split/main 8: nil => ((7 boolean)) +mem: ((7 boolean)): 1046 <= nil +run: find-next/split/main 9: (((jump-if)) ((7 boolean)) ((2 offset))) +mem: ((7 boolean)) => nil +run: find-next/split/main 10: (((3 integer)) <- ((add)) ((3 integer)) ((1 literal))) +mem: ((3 integer)) => 0 +run: find-next/split/main 10: 1 => ((3 integer)) +mem: ((3 integer)): 1042 <= 1 +run: find-next/split/main 11: (((jump)) ((-7 offset))) +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 1 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: nil => ((5 boolean)) +mem: ((5 boolean)): 1044 <= nil +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => nil +run: find-next/split/main 7: (((6 byte)) <- ((index)) ((1 string-address) (deref)) ((3 integer))) +mem: ((3 integer)) => 1 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1002 byte) (raw)) => / +run: find-next/split/main 7: #\/ => ((6 byte)) +mem: ((6 byte)): 1045 <= #\/ +run: find-next/split/main 8: (((7 boolean)) <- ((equal)) ((6 byte)) ((2 character))) +mem: ((6 byte)) => / +mem: ((2 character)) => / +run: find-next/split/main 8: t => ((7 boolean)) +mem: ((7 boolean)): 1046 <= t +run: find-next/split/main 9: (((jump-if)) ((7 boolean)) ((2 offset))) +mem: ((7 boolean)) => t +run: find-next/split/main 12: (((reply)) ((3 integer))) +mem: ((3 integer)) => 1 +run: split/main 10: 1 => ((7 integer)) +mem: ((7 integer)): 1015 <= 1 +run: split/main 11: (((8 boolean)) <- ((greater-or-equal)) ((7 integer)) ((3 integer))) +mem: ((7 integer)) => 1 +mem: ((3 integer)) => 6 +run: split/main 11: nil => ((8 boolean)) +mem: ((8 boolean)): 1016 <= nil +run: split/main 12: (((jump-if)) ((8 boolean)) ((3 offset))) +mem: ((8 boolean)) => nil +run: split/main 13: (((7 integer)) <- ((add)) ((7 integer)) ((1 literal))) +mem: ((7 integer)) => 1 +run: split/main 13: 2 => ((7 integer)) +mem: ((7 integer)): 1015 <= 2 +run: split/main 14: (((6 integer)) <- ((add)) ((6 integer)) ((1 literal))) +mem: ((6 integer)) => 1 +run: split/main 14: 2 => ((6 integer)) +mem: ((6 integer)): 1014 <= 2 +run: split/main 15: (((jump)) ((-6 offset))) +run: split/main 10: (((7 integer)) <- ((find-next)) ((1 string-address)) ((2 character)) ((7 integer))) +mem: ((1 string-address)) => 1000 +mem: ((2 character)) => / +mem: ((7 integer)) => 2 +run: find-next/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: find-next/split/main 0: 1069 => ((default-space space-address)) +run: find-next/split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 #\/ 2) +run: find-next/split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1071 <= 1000 +run: find-next/split/main 2: (((2 character)) <- ((next-input))) +arg: nil 1 (1000 #\/ 2) +run: find-next/split/main 2: #\/ => ((2 character)) +mem: ((2 character)): 1072 <= #\/ +run: find-next/split/main 3: (((3 integer)) <- ((next-input))) +arg: nil 2 (1000 #\/ 2) +run: find-next/split/main 3: 2 => ((3 integer)) +mem: ((3 integer)): 1073 <= 2 +run: find-next/split/main 4: (((4 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: find-next/split/main 4: 6 => ((4 integer)) +mem: ((4 integer)): 1074 <= 6 +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 2 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: nil => ((5 boolean)) +mem: ((5 boolean)): 1075 <= nil +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => nil +run: find-next/split/main 7: (((6 byte)) <- ((index)) ((1 string-address) (deref)) ((3 integer))) +mem: ((3 integer)) => 2 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1003 byte) (raw)) => b +run: find-next/split/main 7: #\b => ((6 byte)) +mem: ((6 byte)): 1076 <= #\b +run: find-next/split/main 8: (((7 boolean)) <- ((equal)) ((6 byte)) ((2 character))) +mem: ((6 byte)) => b +mem: ((2 character)) => / +run: find-next/split/main 8: nil => ((7 boolean)) +mem: ((7 boolean)): 1077 <= nil +run: find-next/split/main 9: (((jump-if)) ((7 boolean)) ((2 offset))) +mem: ((7 boolean)) => nil +run: find-next/split/main 10: (((3 integer)) <- ((add)) ((3 integer)) ((1 literal))) +mem: ((3 integer)) => 2 +run: find-next/split/main 10: 3 => ((3 integer)) +mem: ((3 integer)): 1073 <= 3 +run: find-next/split/main 11: (((jump)) ((-7 offset))) +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 3 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: nil => ((5 boolean)) +mem: ((5 boolean)): 1075 <= nil +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => nil +run: find-next/split/main 7: (((6 byte)) <- ((index)) ((1 string-address) (deref)) ((3 integer))) +mem: ((3 integer)) => 3 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1004 byte) (raw)) => / +run: find-next/split/main 7: #\/ => ((6 byte)) +mem: ((6 byte)): 1076 <= #\/ +run: find-next/split/main 8: (((7 boolean)) <- ((equal)) ((6 byte)) ((2 character))) +mem: ((6 byte)) => / +mem: ((2 character)) => / +run: find-next/split/main 8: t => ((7 boolean)) +mem: ((7 boolean)): 1077 <= t +run: find-next/split/main 9: (((jump-if)) ((7 boolean)) ((2 offset))) +mem: ((7 boolean)) => t +run: find-next/split/main 12: (((reply)) ((3 integer))) +mem: ((3 integer)) => 3 +run: split/main 10: 3 => ((7 integer)) +mem: ((7 integer)): 1015 <= 3 +run: split/main 11: (((8 boolean)) <- ((greater-or-equal)) ((7 integer)) ((3 integer))) +mem: ((7 integer)) => 3 +mem: ((3 integer)) => 6 +run: split/main 11: nil => ((8 boolean)) +mem: ((8 boolean)): 1016 <= nil +run: split/main 12: (((jump-if)) ((8 boolean)) ((3 offset))) +mem: ((8 boolean)) => nil +run: split/main 13: (((7 integer)) <- ((add)) ((7 integer)) ((1 literal))) +mem: ((7 integer)) => 3 +run: split/main 13: 4 => ((7 integer)) +mem: ((7 integer)): 1015 <= 4 +run: split/main 14: (((6 integer)) <- ((add)) ((6 integer)) ((1 literal))) +mem: ((6 integer)) => 2 +run: split/main 14: 3 => ((6 integer)) +mem: ((6 integer)): 1014 <= 3 +run: split/main 15: (((jump)) ((-6 offset))) +run: split/main 10: (((7 integer)) <- ((find-next)) ((1 string-address)) ((2 character)) ((7 integer))) +mem: ((1 string-address)) => 1000 +mem: ((2 character)) => / +mem: ((7 integer)) => 4 +run: find-next/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: find-next/split/main 0: 1100 => ((default-space space-address)) +run: find-next/split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 #\/ 4) +run: find-next/split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1102 <= 1000 +run: find-next/split/main 2: (((2 character)) <- ((next-input))) +arg: nil 1 (1000 #\/ 4) +run: find-next/split/main 2: #\/ => ((2 character)) +mem: ((2 character)): 1103 <= #\/ +run: find-next/split/main 3: (((3 integer)) <- ((next-input))) +arg: nil 2 (1000 #\/ 4) +run: find-next/split/main 3: 4 => ((3 integer)) +mem: ((3 integer)): 1104 <= 4 +run: find-next/split/main 4: (((4 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: find-next/split/main 4: 6 => ((4 integer)) +mem: ((4 integer)): 1105 <= 6 +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 4 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: nil => ((5 boolean)) +mem: ((5 boolean)): 1106 <= nil +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => nil +run: find-next/split/main 7: (((6 byte)) <- ((index)) ((1 string-address) (deref)) ((3 integer))) +mem: ((3 integer)) => 4 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1005 byte) (raw)) => / +run: find-next/split/main 7: #\/ => ((6 byte)) +mem: ((6 byte)): 1107 <= #\/ +run: find-next/split/main 8: (((7 boolean)) <- ((equal)) ((6 byte)) ((2 character))) +mem: ((6 byte)) => / +mem: ((2 character)) => / +run: find-next/split/main 8: t => ((7 boolean)) +mem: ((7 boolean)): 1108 <= t +run: find-next/split/main 9: (((jump-if)) ((7 boolean)) ((2 offset))) +mem: ((7 boolean)) => t +run: find-next/split/main 12: (((reply)) ((3 integer))) +mem: ((3 integer)) => 4 +run: split/main 10: 4 => ((7 integer)) +mem: ((7 integer)): 1015 <= 4 +run: split/main 11: (((8 boolean)) <- ((greater-or-equal)) ((7 integer)) ((3 integer))) +mem: ((7 integer)) => 4 +mem: ((3 integer)) => 6 +run: split/main 11: nil => ((8 boolean)) +mem: ((8 boolean)): 1016 <= nil +run: split/main 12: (((jump-if)) ((8 boolean)) ((3 offset))) +mem: ((8 boolean)) => nil +run: split/main 13: (((7 integer)) <- ((add)) ((7 integer)) ((1 literal))) +mem: ((7 integer)) => 4 +run: split/main 13: 5 => ((7 integer)) +mem: ((7 integer)): 1015 <= 5 +run: split/main 14: (((6 integer)) <- ((add)) ((6 integer)) ((1 literal))) +mem: ((6 integer)) => 3 +run: split/main 14: 4 => ((6 integer)) +mem: ((6 integer)): 1014 <= 4 +run: split/main 15: (((jump)) ((-6 offset))) +run: split/main 10: (((7 integer)) <- ((find-next)) ((1 string-address)) ((2 character)) ((7 integer))) +mem: ((1 string-address)) => 1000 +mem: ((2 character)) => / +mem: ((7 integer)) => 5 +run: find-next/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: find-next/split/main 0: 1131 => ((default-space space-address)) +run: find-next/split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 #\/ 5) +run: find-next/split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1133 <= 1000 +run: find-next/split/main 2: (((2 character)) <- ((next-input))) +arg: nil 1 (1000 #\/ 5) +run: find-next/split/main 2: #\/ => ((2 character)) +mem: ((2 character)): 1134 <= #\/ +run: find-next/split/main 3: (((3 integer)) <- ((next-input))) +arg: nil 2 (1000 #\/ 5) +run: find-next/split/main 3: 5 => ((3 integer)) +mem: ((3 integer)): 1135 <= 5 +run: find-next/split/main 4: (((4 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: find-next/split/main 4: 6 => ((4 integer)) +mem: ((4 integer)): 1136 <= 6 +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 5 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: nil => ((5 boolean)) +mem: ((5 boolean)): 1137 <= nil +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => nil +run: find-next/split/main 7: (((6 byte)) <- ((index)) ((1 string-address) (deref)) ((3 integer))) +mem: ((3 integer)) => 5 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1006 byte) (raw)) => c +run: find-next/split/main 7: #\c => ((6 byte)) +mem: ((6 byte)): 1138 <= #\c +run: find-next/split/main 8: (((7 boolean)) <- ((equal)) ((6 byte)) ((2 character))) +mem: ((6 byte)) => c +mem: ((2 character)) => / +run: find-next/split/main 8: nil => ((7 boolean)) +mem: ((7 boolean)): 1139 <= nil +run: find-next/split/main 9: (((jump-if)) ((7 boolean)) ((2 offset))) +mem: ((7 boolean)) => nil +run: find-next/split/main 10: (((3 integer)) <- ((add)) ((3 integer)) ((1 literal))) +mem: ((3 integer)) => 5 +run: find-next/split/main 10: 6 => ((3 integer)) +mem: ((3 integer)): 1135 <= 6 +run: find-next/split/main 11: (((jump)) ((-7 offset))) +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 6 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: t => ((5 boolean)) +mem: ((5 boolean)): 1137 <= t +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => t +run: find-next/split/main 12: (((reply)) ((3 integer))) +mem: ((3 integer)) => 6 +run: split/main 10: 6 => ((7 integer)) +mem: ((7 integer)): 1015 <= 6 +run: split/main 11: (((8 boolean)) <- ((greater-or-equal)) ((7 integer)) ((3 integer))) +mem: ((7 integer)) => 6 +mem: ((3 integer)) => 6 +run: split/main 11: t => ((8 boolean)) +mem: ((8 boolean)): 1016 <= t +run: split/main 12: (((jump-if)) ((8 boolean)) ((3 offset))) +mem: ((8 boolean)) => t +run: split/main 16: (((5 string-address-array-address)) <- ((new)) ((string-address-array literal)) ((6 integer))) +mem: ((6 integer)) => 4 +run: split/main 16: 1162 => ((5 string-address-array-address)) +mem: ((5 string-address-array-address)): 1013 <= 1162 +run: split/main 17: (((9 integer)) <- ((copy)) ((0 literal))) +run: split/main 17: 0 => ((9 integer)) +mem: ((9 integer)): 1017 <= 0 +run: split/main 18: (((10 integer)) <- ((copy)) ((0 literal))) +run: split/main 18: 0 => ((10 integer)) +mem: ((10 integer)): 1018 <= 0 +run: split/main 19: (((8 boolean)) <- ((greater-or-equal)) ((10 integer)) ((3 integer))) +mem: ((10 integer)) => 0 +mem: ((3 integer)) => 6 +run: split/main 19: nil => ((8 boolean)) +mem: ((8 boolean)): 1016 <= nil +run: split/main 20: (((jump-if)) ((8 boolean)) ((6 offset))) +mem: ((8 boolean)) => nil +run: split/main 21: (((11 integer)) <- ((find-next)) ((1 string-address)) ((2 character)) ((10 integer))) +mem: ((1 string-address)) => 1000 +mem: ((2 character)) => / +mem: ((10 integer)) => 0 +run: find-next/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: find-next/split/main 0: 1167 => ((default-space space-address)) +run: find-next/split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 #\/ 0) +run: find-next/split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1169 <= 1000 +run: find-next/split/main 2: (((2 character)) <- ((next-input))) +arg: nil 1 (1000 #\/ 0) +run: find-next/split/main 2: #\/ => ((2 character)) +mem: ((2 character)): 1170 <= #\/ +run: find-next/split/main 3: (((3 integer)) <- ((next-input))) +arg: nil 2 (1000 #\/ 0) +run: find-next/split/main 3: 0 => ((3 integer)) +mem: ((3 integer)): 1171 <= 0 +run: find-next/split/main 4: (((4 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: find-next/split/main 4: 6 => ((4 integer)) +mem: ((4 integer)): 1172 <= 6 +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 0 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: nil => ((5 boolean)) +mem: ((5 boolean)): 1173 <= nil +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => nil +run: find-next/split/main 7: (((6 byte)) <- ((index)) ((1 string-address) (deref)) ((3 integer))) +mem: ((3 integer)) => 0 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1001 byte) (raw)) => a +run: find-next/split/main 7: #\a => ((6 byte)) +mem: ((6 byte)): 1174 <= #\a +run: find-next/split/main 8: (((7 boolean)) <- ((equal)) ((6 byte)) ((2 character))) +mem: ((6 byte)) => a +mem: ((2 character)) => / +run: find-next/split/main 8: nil => ((7 boolean)) +mem: ((7 boolean)): 1175 <= nil +run: find-next/split/main 9: (((jump-if)) ((7 boolean)) ((2 offset))) +mem: ((7 boolean)) => nil +run: find-next/split/main 10: (((3 integer)) <- ((add)) ((3 integer)) ((1 literal))) +mem: ((3 integer)) => 0 +run: find-next/split/main 10: 1 => ((3 integer)) +mem: ((3 integer)): 1171 <= 1 +run: find-next/split/main 11: (((jump)) ((-7 offset))) +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 1 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: nil => ((5 boolean)) +mem: ((5 boolean)): 1173 <= nil +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => nil +run: find-next/split/main 7: (((6 byte)) <- ((index)) ((1 string-address) (deref)) ((3 integer))) +mem: ((3 integer)) => 1 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1002 byte) (raw)) => / +run: find-next/split/main 7: #\/ => ((6 byte)) +mem: ((6 byte)): 1174 <= #\/ +run: find-next/split/main 8: (((7 boolean)) <- ((equal)) ((6 byte)) ((2 character))) +mem: ((6 byte)) => / +mem: ((2 character)) => / +run: find-next/split/main 8: t => ((7 boolean)) +mem: ((7 boolean)): 1175 <= t +run: find-next/split/main 9: (((jump-if)) ((7 boolean)) ((2 offset))) +mem: ((7 boolean)) => t +run: find-next/split/main 12: (((reply)) ((3 integer))) +mem: ((3 integer)) => 1 +run: split/main 21: 1 => ((11 integer)) +mem: ((11 integer)): 1019 <= 1 +run: split/main 22: (((12 string-address-address)) <- ((index-address)) ((5 string-address-array-address) (deref)) ((9 integer))) +mem: ((9 integer)) => 0 +array-len: ((1162 string-address-array) (raw)) +mem: ((1162 integer) (raw)) => 4 +run: split/main 22: 1163 => ((12 string-address-address)) +mem: ((12 string-address-address)): 1020 <= 1163 +run: split/main 23: (((12 string-address-address) (deref)) <- ((string-copy)) ((1 string-address)) ((10 integer)) ((11 integer))) +mem: ((1 string-address)) => 1000 +mem: ((10 integer)) => 0 +mem: ((11 integer)) => 1 +run: string-copy/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: string-copy/split/main 0: 1198 => ((default-space space-address)) +run: string-copy/split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 0 1) +run: string-copy/split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1200 <= 1000 +run: string-copy/split/main 2: (((2 integer)) <- ((next-input))) +arg: nil 1 (1000 0 1) +run: string-copy/split/main 2: 0 => ((2 integer)) +mem: ((2 integer)): 1201 <= 0 +run: string-copy/split/main 3: (((3 integer)) <- ((next-input))) +arg: nil 2 (1000 0 1) +run: string-copy/split/main 3: 1 => ((3 integer)) +mem: ((3 integer)): 1202 <= 1 +run: string-copy/split/main 4: (((4 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: string-copy/split/main 4: 6 => ((4 integer)) +mem: ((4 integer)): 1203 <= 6 +run: string-copy/split/main 5: (((3 integer)) <- ((min)) ((4 integer)) ((3 integer))) +mem: ((4 integer)) => 6 +mem: ((3 integer)) => 1 +run: min/string-copy/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: min/string-copy/split/main 0: 1229 => ((default-space space-address)) +run: min/string-copy/split/main 1: (((1 integer)) <- ((next-input))) +arg: nil 0 (6 1) +run: min/string-copy/split/main 1: 6 => ((1 integer)) +mem: ((1 integer)): 1231 <= 6 +run: min/string-copy/split/main 2: (((2 integer)) <- ((next-input))) +arg: nil 1 (6 1) +run: min/string-copy/split/main 2: 1 => ((2 integer)) +mem: ((2 integer)): 1232 <= 1 +run: min/string-copy/split/main 3: (((3 boolean)) <- ((less-than)) ((1 integer)) ((2 integer))) +mem: ((1 integer)) => 6 +mem: ((2 integer)) => 1 +run: min/string-copy/split/main 3: nil => ((3 boolean)) +mem: ((3 boolean)): 1233 <= nil +run: min/string-copy/split/main 4: (((jump-if)) ((3 boolean)) ((1 offset))) +mem: ((3 boolean)) => nil +run: min/string-copy/split/main 5: (((reply)) ((2 integer))) +mem: ((2 integer)) => 1 +run: string-copy/split/main 5: 1 => ((3 integer)) +mem: ((3 integer)): 1202 <= 1 +run: string-copy/split/main 6: (((4 integer)) <- ((subtract)) ((3 integer)) ((2 integer))) +mem: ((3 integer)) => 1 +mem: ((2 integer)) => 0 +run: string-copy/split/main 6: 1 => ((4 integer)) +mem: ((4 integer)): 1203 <= 1 +run: string-copy/split/main 7: (((5 string-address)) <- ((new)) ((string literal)) ((4 integer))) +mem: ((4 integer)) => 1 +run: string-copy/split/main 7: 1260 => ((5 string-address)) +mem: ((5 string-address)): 1204 <= 1260 +run: string-copy/split/main 8: (((6 integer)) <- ((copy)) ((2 integer))) +mem: ((2 integer)) => 0 +run: string-copy/split/main 8: 0 => ((6 integer)) +mem: ((6 integer)): 1205 <= 0 +run: string-copy/split/main 9: (((7 integer)) <- ((copy)) ((0 literal))) +run: string-copy/split/main 9: 0 => ((7 integer)) +mem: ((7 integer)): 1206 <= 0 +run: string-copy/split/main 10: (((8 boolean)) <- ((greater-or-equal)) ((6 integer)) ((3 integer))) +mem: ((6 integer)) => 0 +mem: ((3 integer)) => 1 +run: string-copy/split/main 10: nil => ((8 boolean)) +mem: ((8 boolean)): 1207 <= nil +run: string-copy/split/main 11: (((jump-if)) ((8 boolean)) ((6 offset))) +mem: ((8 boolean)) => nil +run: string-copy/split/main 12: (((9 character)) <- ((index)) ((1 string-address) (deref)) ((6 integer))) +mem: ((6 integer)) => 0 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1001 byte) (raw)) => a +run: string-copy/split/main 12: #\a => ((9 character)) +mem: ((9 character)): 1208 <= #\a +run: string-copy/split/main 13: (((10 character-address)) <- ((index-address)) ((5 string-address) (deref)) ((7 integer))) +mem: ((7 integer)) => 0 +array-len: ((1260 string) (raw)) +mem: ((1260 integer) (raw)) => 1 +run: string-copy/split/main 13: 1261 => ((10 character-address)) +mem: ((10 character-address)): 1209 <= 1261 +run: string-copy/split/main 14: (((10 character-address) (deref)) <- ((copy)) ((9 character))) +mem: ((9 character)) => a +run: string-copy/split/main 14: #\a => ((10 character-address) (deref)) +mem: ((10 character-address) (deref)): 1261 <= #\a +run: string-copy/split/main 15: (((6 integer)) <- ((add)) ((6 integer)) ((1 literal))) +mem: ((6 integer)) => 0 +run: string-copy/split/main 15: 1 => ((6 integer)) +mem: ((6 integer)): 1205 <= 1 +run: string-copy/split/main 16: (((7 integer)) <- ((add)) ((7 integer)) ((1 literal))) +mem: ((7 integer)) => 0 +run: string-copy/split/main 16: 1 => ((7 integer)) +mem: ((7 integer)): 1206 <= 1 +run: string-copy/split/main 17: (((jump)) ((-8 offset))) +run: string-copy/split/main 10: (((8 boolean)) <- ((greater-or-equal)) ((6 integer)) ((3 integer))) +mem: ((6 integer)) => 1 +mem: ((3 integer)) => 1 +run: string-copy/split/main 10: t => ((8 boolean)) +mem: ((8 boolean)): 1207 <= t +run: string-copy/split/main 11: (((jump-if)) ((8 boolean)) ((6 offset))) +mem: ((8 boolean)) => t +run: string-copy/split/main 18: (((reply)) ((5 string-address))) +mem: ((5 string-address)) => 1260 +run: split/main 23: 1260 => ((12 string-address-address) (deref)) +mem: ((12 string-address-address) (deref)): 1163 <= 1260 +run: split/main 24: (((10 integer)) <- ((add)) ((11 integer)) ((1 literal))) +mem: ((11 integer)) => 1 +run: split/main 24: 2 => ((10 integer)) +mem: ((10 integer)): 1018 <= 2 +run: split/main 25: (((9 integer)) <- ((add)) ((9 integer)) ((1 literal))) +mem: ((9 integer)) => 0 +run: split/main 25: 1 => ((9 integer)) +mem: ((9 integer)): 1017 <= 1 +run: split/main 26: (((jump)) ((-8 offset))) +run: split/main 19: (((8 boolean)) <- ((greater-or-equal)) ((10 integer)) ((3 integer))) +mem: ((10 integer)) => 2 +mem: ((3 integer)) => 6 +run: split/main 19: nil => ((8 boolean)) +mem: ((8 boolean)): 1016 <= nil +run: split/main 20: (((jump-if)) ((8 boolean)) ((6 offset))) +mem: ((8 boolean)) => nil +run: split/main 21: (((11 integer)) <- ((find-next)) ((1 string-address)) ((2 character)) ((10 integer))) +mem: ((1 string-address)) => 1000 +mem: ((2 character)) => / +mem: ((10 integer)) => 2 +run: find-next/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: find-next/split/main 0: 1262 => ((default-space space-address)) +run: find-next/split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 #\/ 2) +run: find-next/split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1264 <= 1000 +run: find-next/split/main 2: (((2 character)) <- ((next-input))) +arg: nil 1 (1000 #\/ 2) +run: find-next/split/main 2: #\/ => ((2 character)) +mem: ((2 character)): 1265 <= #\/ +run: find-next/split/main 3: (((3 integer)) <- ((next-input))) +arg: nil 2 (1000 #\/ 2) +run: find-next/split/main 3: 2 => ((3 integer)) +mem: ((3 integer)): 1266 <= 2 +run: find-next/split/main 4: (((4 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: find-next/split/main 4: 6 => ((4 integer)) +mem: ((4 integer)): 1267 <= 6 +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 2 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: nil => ((5 boolean)) +mem: ((5 boolean)): 1268 <= nil +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => nil +run: find-next/split/main 7: (((6 byte)) <- ((index)) ((1 string-address) (deref)) ((3 integer))) +mem: ((3 integer)) => 2 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1003 byte) (raw)) => b +run: find-next/split/main 7: #\b => ((6 byte)) +mem: ((6 byte)): 1269 <= #\b +run: find-next/split/main 8: (((7 boolean)) <- ((equal)) ((6 byte)) ((2 character))) +mem: ((6 byte)) => b +mem: ((2 character)) => / +run: find-next/split/main 8: nil => ((7 boolean)) +mem: ((7 boolean)): 1270 <= nil +run: find-next/split/main 9: (((jump-if)) ((7 boolean)) ((2 offset))) +mem: ((7 boolean)) => nil +run: find-next/split/main 10: (((3 integer)) <- ((add)) ((3 integer)) ((1 literal))) +mem: ((3 integer)) => 2 +run: find-next/split/main 10: 3 => ((3 integer)) +mem: ((3 integer)): 1266 <= 3 +run: find-next/split/main 11: (((jump)) ((-7 offset))) +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 3 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: nil => ((5 boolean)) +mem: ((5 boolean)): 1268 <= nil +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => nil +run: find-next/split/main 7: (((6 byte)) <- ((index)) ((1 string-address) (deref)) ((3 integer))) +mem: ((3 integer)) => 3 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1004 byte) (raw)) => / +run: find-next/split/main 7: #\/ => ((6 byte)) +mem: ((6 byte)): 1269 <= #\/ +run: find-next/split/main 8: (((7 boolean)) <- ((equal)) ((6 byte)) ((2 character))) +mem: ((6 byte)) => / +mem: ((2 character)) => / +run: find-next/split/main 8: t => ((7 boolean)) +mem: ((7 boolean)): 1270 <= t +run: find-next/split/main 9: (((jump-if)) ((7 boolean)) ((2 offset))) +mem: ((7 boolean)) => t +run: find-next/split/main 12: (((reply)) ((3 integer))) +mem: ((3 integer)) => 3 +run: split/main 21: 3 => ((11 integer)) +mem: ((11 integer)): 1019 <= 3 +run: split/main 22: (((12 string-address-address)) <- ((index-address)) ((5 string-address-array-address) (deref)) ((9 integer))) +mem: ((9 integer)) => 1 +array-len: ((1162 string-address-array) (raw)) +mem: ((1162 integer) (raw)) => 4 +run: split/main 22: 1164 => ((12 string-address-address)) +mem: ((12 string-address-address)): 1020 <= 1164 +run: split/main 23: (((12 string-address-address) (deref)) <- ((string-copy)) ((1 string-address)) ((10 integer)) ((11 integer))) +mem: ((1 string-address)) => 1000 +mem: ((10 integer)) => 2 +mem: ((11 integer)) => 3 +run: string-copy/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: string-copy/split/main 0: 1293 => ((default-space space-address)) +run: string-copy/split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 2 3) +run: string-copy/split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1295 <= 1000 +run: string-copy/split/main 2: (((2 integer)) <- ((next-input))) +arg: nil 1 (1000 2 3) +run: string-copy/split/main 2: 2 => ((2 integer)) +mem: ((2 integer)): 1296 <= 2 +run: string-copy/split/main 3: (((3 integer)) <- ((next-input))) +arg: nil 2 (1000 2 3) +run: string-copy/split/main 3: 3 => ((3 integer)) +mem: ((3 integer)): 1297 <= 3 +run: string-copy/split/main 4: (((4 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: string-copy/split/main 4: 6 => ((4 integer)) +mem: ((4 integer)): 1298 <= 6 +run: string-copy/split/main 5: (((3 integer)) <- ((min)) ((4 integer)) ((3 integer))) +mem: ((4 integer)) => 6 +mem: ((3 integer)) => 3 +run: min/string-copy/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: min/string-copy/split/main 0: 1324 => ((default-space space-address)) +run: min/string-copy/split/main 1: (((1 integer)) <- ((next-input))) +arg: nil 0 (6 3) +run: min/string-copy/split/main 1: 6 => ((1 integer)) +mem: ((1 integer)): 1326 <= 6 +run: min/string-copy/split/main 2: (((2 integer)) <- ((next-input))) +arg: nil 1 (6 3) +run: min/string-copy/split/main 2: 3 => ((2 integer)) +mem: ((2 integer)): 1327 <= 3 +run: min/string-copy/split/main 3: (((3 boolean)) <- ((less-than)) ((1 integer)) ((2 integer))) +mem: ((1 integer)) => 6 +mem: ((2 integer)) => 3 +run: min/string-copy/split/main 3: nil => ((3 boolean)) +mem: ((3 boolean)): 1328 <= nil +run: min/string-copy/split/main 4: (((jump-if)) ((3 boolean)) ((1 offset))) +mem: ((3 boolean)) => nil +run: min/string-copy/split/main 5: (((reply)) ((2 integer))) +mem: ((2 integer)) => 3 +run: string-copy/split/main 5: 3 => ((3 integer)) +mem: ((3 integer)): 1297 <= 3 +run: string-copy/split/main 6: (((4 integer)) <- ((subtract)) ((3 integer)) ((2 integer))) +mem: ((3 integer)) => 3 +mem: ((2 integer)) => 2 +run: string-copy/split/main 6: 1 => ((4 integer)) +mem: ((4 integer)): 1298 <= 1 +run: string-copy/split/main 7: (((5 string-address)) <- ((new)) ((string literal)) ((4 integer))) +mem: ((4 integer)) => 1 +run: string-copy/split/main 7: 1355 => ((5 string-address)) +mem: ((5 string-address)): 1299 <= 1355 +run: string-copy/split/main 8: (((6 integer)) <- ((copy)) ((2 integer))) +mem: ((2 integer)) => 2 +run: string-copy/split/main 8: 2 => ((6 integer)) +mem: ((6 integer)): 1300 <= 2 +run: string-copy/split/main 9: (((7 integer)) <- ((copy)) ((0 literal))) +run: string-copy/split/main 9: 0 => ((7 integer)) +mem: ((7 integer)): 1301 <= 0 +run: string-copy/split/main 10: (((8 boolean)) <- ((greater-or-equal)) ((6 integer)) ((3 integer))) +mem: ((6 integer)) => 2 +mem: ((3 integer)) => 3 +run: string-copy/split/main 10: nil => ((8 boolean)) +mem: ((8 boolean)): 1302 <= nil +run: string-copy/split/main 11: (((jump-if)) ((8 boolean)) ((6 offset))) +mem: ((8 boolean)) => nil +run: string-copy/split/main 12: (((9 character)) <- ((index)) ((1 string-address) (deref)) ((6 integer))) +mem: ((6 integer)) => 2 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1003 byte) (raw)) => b +run: string-copy/split/main 12: #\b => ((9 character)) +mem: ((9 character)): 1303 <= #\b +run: string-copy/split/main 13: (((10 character-address)) <- ((index-address)) ((5 string-address) (deref)) ((7 integer))) +mem: ((7 integer)) => 0 +array-len: ((1355 string) (raw)) +mem: ((1355 integer) (raw)) => 1 +run: string-copy/split/main 13: 1356 => ((10 character-address)) +mem: ((10 character-address)): 1304 <= 1356 +run: string-copy/split/main 14: (((10 character-address) (deref)) <- ((copy)) ((9 character))) +mem: ((9 character)) => b +run: string-copy/split/main 14: #\b => ((10 character-address) (deref)) +mem: ((10 character-address) (deref)): 1356 <= #\b +run: string-copy/split/main 15: (((6 integer)) <- ((add)) ((6 integer)) ((1 literal))) +mem: ((6 integer)) => 2 +run: string-copy/split/main 15: 3 => ((6 integer)) +mem: ((6 integer)): 1300 <= 3 +run: string-copy/split/main 16: (((7 integer)) <- ((add)) ((7 integer)) ((1 literal))) +mem: ((7 integer)) => 0 +run: string-copy/split/main 16: 1 => ((7 integer)) +mem: ((7 integer)): 1301 <= 1 +run: string-copy/split/main 17: (((jump)) ((-8 offset))) +run: string-copy/split/main 10: (((8 boolean)) <- ((greater-or-equal)) ((6 integer)) ((3 integer))) +mem: ((6 integer)) => 3 +mem: ((3 integer)) => 3 +run: string-copy/split/main 10: t => ((8 boolean)) +mem: ((8 boolean)): 1302 <= t +run: string-copy/split/main 11: (((jump-if)) ((8 boolean)) ((6 offset))) +mem: ((8 boolean)) => t +run: string-copy/split/main 18: (((reply)) ((5 string-address))) +mem: ((5 string-address)) => 1355 +run: split/main 23: 1355 => ((12 string-address-address) (deref)) +mem: ((12 string-address-address) (deref)): 1164 <= 1355 +run: split/main 24: (((10 integer)) <- ((add)) ((11 integer)) ((1 literal))) +mem: ((11 integer)) => 3 +run: split/main 24: 4 => ((10 integer)) +mem: ((10 integer)): 1018 <= 4 +run: split/main 25: (((9 integer)) <- ((add)) ((9 integer)) ((1 literal))) +mem: ((9 integer)) => 1 +run: split/main 25: 2 => ((9 integer)) +mem: ((9 integer)): 1017 <= 2 +run: split/main 26: (((jump)) ((-8 offset))) +run: split/main 19: (((8 boolean)) <- ((greater-or-equal)) ((10 integer)) ((3 integer))) +mem: ((10 integer)) => 4 +mem: ((3 integer)) => 6 +run: split/main 19: nil => ((8 boolean)) +mem: ((8 boolean)): 1016 <= nil +run: split/main 20: (((jump-if)) ((8 boolean)) ((6 offset))) +mem: ((8 boolean)) => nil +run: split/main 21: (((11 integer)) <- ((find-next)) ((1 string-address)) ((2 character)) ((10 integer))) +mem: ((1 string-address)) => 1000 +mem: ((2 character)) => / +mem: ((10 integer)) => 4 +run: find-next/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: find-next/split/main 0: 1357 => ((default-space space-address)) +run: find-next/split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 #\/ 4) +run: find-next/split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1359 <= 1000 +run: find-next/split/main 2: (((2 character)) <- ((next-input))) +arg: nil 1 (1000 #\/ 4) +run: find-next/split/main 2: #\/ => ((2 character)) +mem: ((2 character)): 1360 <= #\/ +run: find-next/split/main 3: (((3 integer)) <- ((next-input))) +arg: nil 2 (1000 #\/ 4) +run: find-next/split/main 3: 4 => ((3 integer)) +mem: ((3 integer)): 1361 <= 4 +run: find-next/split/main 4: (((4 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: find-next/split/main 4: 6 => ((4 integer)) +mem: ((4 integer)): 1362 <= 6 +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 4 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: nil => ((5 boolean)) +mem: ((5 boolean)): 1363 <= nil +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => nil +run: find-next/split/main 7: (((6 byte)) <- ((index)) ((1 string-address) (deref)) ((3 integer))) +mem: ((3 integer)) => 4 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1005 byte) (raw)) => / +run: find-next/split/main 7: #\/ => ((6 byte)) +mem: ((6 byte)): 1364 <= #\/ +run: find-next/split/main 8: (((7 boolean)) <- ((equal)) ((6 byte)) ((2 character))) +mem: ((6 byte)) => / +mem: ((2 character)) => / +run: find-next/split/main 8: t => ((7 boolean)) +mem: ((7 boolean)): 1365 <= t +run: find-next/split/main 9: (((jump-if)) ((7 boolean)) ((2 offset))) +mem: ((7 boolean)) => t +run: find-next/split/main 12: (((reply)) ((3 integer))) +mem: ((3 integer)) => 4 +run: split/main 21: 4 => ((11 integer)) +mem: ((11 integer)): 1019 <= 4 +run: split/main 22: (((12 string-address-address)) <- ((index-address)) ((5 string-address-array-address) (deref)) ((9 integer))) +mem: ((9 integer)) => 2 +array-len: ((1162 string-address-array) (raw)) +mem: ((1162 integer) (raw)) => 4 +run: split/main 22: 1165 => ((12 string-address-address)) +mem: ((12 string-address-address)): 1020 <= 1165 +run: split/main 23: (((12 string-address-address) (deref)) <- ((string-copy)) ((1 string-address)) ((10 integer)) ((11 integer))) +mem: ((1 string-address)) => 1000 +mem: ((10 integer)) => 4 +mem: ((11 integer)) => 4 +run: string-copy/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: string-copy/split/main 0: 1388 => ((default-space space-address)) +run: string-copy/split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 4 4) +run: string-copy/split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1390 <= 1000 +run: string-copy/split/main 2: (((2 integer)) <- ((next-input))) +arg: nil 1 (1000 4 4) +run: string-copy/split/main 2: 4 => ((2 integer)) +mem: ((2 integer)): 1391 <= 4 +run: string-copy/split/main 3: (((3 integer)) <- ((next-input))) +arg: nil 2 (1000 4 4) +run: string-copy/split/main 3: 4 => ((3 integer)) +mem: ((3 integer)): 1392 <= 4 +run: string-copy/split/main 4: (((4 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: string-copy/split/main 4: 6 => ((4 integer)) +mem: ((4 integer)): 1393 <= 6 +run: string-copy/split/main 5: (((3 integer)) <- ((min)) ((4 integer)) ((3 integer))) +mem: ((4 integer)) => 6 +mem: ((3 integer)) => 4 +run: min/string-copy/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: min/string-copy/split/main 0: 1419 => ((default-space space-address)) +run: min/string-copy/split/main 1: (((1 integer)) <- ((next-input))) +arg: nil 0 (6 4) +run: min/string-copy/split/main 1: 6 => ((1 integer)) +mem: ((1 integer)): 1421 <= 6 +run: min/string-copy/split/main 2: (((2 integer)) <- ((next-input))) +arg: nil 1 (6 4) +run: min/string-copy/split/main 2: 4 => ((2 integer)) +mem: ((2 integer)): 1422 <= 4 +run: min/string-copy/split/main 3: (((3 boolean)) <- ((less-than)) ((1 integer)) ((2 integer))) +mem: ((1 integer)) => 6 +mem: ((2 integer)) => 4 +run: min/string-copy/split/main 3: nil => ((3 boolean)) +mem: ((3 boolean)): 1423 <= nil +run: min/string-copy/split/main 4: (((jump-if)) ((3 boolean)) ((1 offset))) +mem: ((3 boolean)) => nil +run: min/string-copy/split/main 5: (((reply)) ((2 integer))) +mem: ((2 integer)) => 4 +run: string-copy/split/main 5: 4 => ((3 integer)) +mem: ((3 integer)): 1392 <= 4 +run: string-copy/split/main 6: (((4 integer)) <- ((subtract)) ((3 integer)) ((2 integer))) +mem: ((3 integer)) => 4 +mem: ((2 integer)) => 4 +run: string-copy/split/main 6: 0 => ((4 integer)) +mem: ((4 integer)): 1393 <= 0 +run: string-copy/split/main 7: (((5 string-address)) <- ((new)) ((string literal)) ((4 integer))) +mem: ((4 integer)) => 0 +run: string-copy/split/main 7: 1450 => ((5 string-address)) +mem: ((5 string-address)): 1394 <= 1450 +run: string-copy/split/main 8: (((6 integer)) <- ((copy)) ((2 integer))) +mem: ((2 integer)) => 4 +run: string-copy/split/main 8: 4 => ((6 integer)) +mem: ((6 integer)): 1395 <= 4 +run: string-copy/split/main 9: (((7 integer)) <- ((copy)) ((0 literal))) +run: string-copy/split/main 9: 0 => ((7 integer)) +mem: ((7 integer)): 1396 <= 0 +run: string-copy/split/main 10: (((8 boolean)) <- ((greater-or-equal)) ((6 integer)) ((3 integer))) +mem: ((6 integer)) => 4 +mem: ((3 integer)) => 4 +run: string-copy/split/main 10: t => ((8 boolean)) +mem: ((8 boolean)): 1397 <= t +run: string-copy/split/main 11: (((jump-if)) ((8 boolean)) ((6 offset))) +mem: ((8 boolean)) => t +run: string-copy/split/main 18: (((reply)) ((5 string-address))) +mem: ((5 string-address)) => 1450 +run: split/main 23: 1450 => ((12 string-address-address) (deref)) +mem: ((12 string-address-address) (deref)): 1165 <= 1450 +run: split/main 24: (((10 integer)) <- ((add)) ((11 integer)) ((1 literal))) +mem: ((11 integer)) => 4 +run: split/main 24: 5 => ((10 integer)) +mem: ((10 integer)): 1018 <= 5 +run: split/main 25: (((9 integer)) <- ((add)) ((9 integer)) ((1 literal))) +mem: ((9 integer)) => 2 +run: split/main 25: 3 => ((9 integer)) +mem: ((9 integer)): 1017 <= 3 +run: split/main 26: (((jump)) ((-8 offset))) +run: split/main 19: (((8 boolean)) <- ((greater-or-equal)) ((10 integer)) ((3 integer))) +mem: ((10 integer)) => 5 +mem: ((3 integer)) => 6 +run: split/main 19: nil => ((8 boolean)) +mem: ((8 boolean)): 1016 <= nil +run: split/main 20: (((jump-if)) ((8 boolean)) ((6 offset))) +mem: ((8 boolean)) => nil +run: split/main 21: (((11 integer)) <- ((find-next)) ((1 string-address)) ((2 character)) ((10 integer))) +mem: ((1 string-address)) => 1000 +mem: ((2 character)) => / +mem: ((10 integer)) => 5 +run: find-next/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: find-next/split/main 0: 1451 => ((default-space space-address)) +run: find-next/split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 #\/ 5) +run: find-next/split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1453 <= 1000 +run: find-next/split/main 2: (((2 character)) <- ((next-input))) +arg: nil 1 (1000 #\/ 5) +run: find-next/split/main 2: #\/ => ((2 character)) +mem: ((2 character)): 1454 <= #\/ +run: find-next/split/main 3: (((3 integer)) <- ((next-input))) +arg: nil 2 (1000 #\/ 5) +run: find-next/split/main 3: 5 => ((3 integer)) +mem: ((3 integer)): 1455 <= 5 +run: find-next/split/main 4: (((4 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: find-next/split/main 4: 6 => ((4 integer)) +mem: ((4 integer)): 1456 <= 6 +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 5 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: nil => ((5 boolean)) +mem: ((5 boolean)): 1457 <= nil +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => nil +run: find-next/split/main 7: (((6 byte)) <- ((index)) ((1 string-address) (deref)) ((3 integer))) +mem: ((3 integer)) => 5 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1006 byte) (raw)) => c +run: find-next/split/main 7: #\c => ((6 byte)) +mem: ((6 byte)): 1458 <= #\c +run: find-next/split/main 8: (((7 boolean)) <- ((equal)) ((6 byte)) ((2 character))) +mem: ((6 byte)) => c +mem: ((2 character)) => / +run: find-next/split/main 8: nil => ((7 boolean)) +mem: ((7 boolean)): 1459 <= nil +run: find-next/split/main 9: (((jump-if)) ((7 boolean)) ((2 offset))) +mem: ((7 boolean)) => nil +run: find-next/split/main 10: (((3 integer)) <- ((add)) ((3 integer)) ((1 literal))) +mem: ((3 integer)) => 5 +run: find-next/split/main 10: 6 => ((3 integer)) +mem: ((3 integer)): 1455 <= 6 +run: find-next/split/main 11: (((jump)) ((-7 offset))) +run: find-next/split/main 5: (((5 boolean)) <- ((greater-or-equal)) ((3 integer)) ((4 integer))) +mem: ((3 integer)) => 6 +mem: ((4 integer)) => 6 +run: find-next/split/main 5: t => ((5 boolean)) +mem: ((5 boolean)): 1457 <= t +run: find-next/split/main 6: (((jump-if)) ((5 boolean)) ((5 offset))) +mem: ((5 boolean)) => t +run: find-next/split/main 12: (((reply)) ((3 integer))) +mem: ((3 integer)) => 6 +run: split/main 21: 6 => ((11 integer)) +mem: ((11 integer)): 1019 <= 6 +run: split/main 22: (((12 string-address-address)) <- ((index-address)) ((5 string-address-array-address) (deref)) ((9 integer))) +mem: ((9 integer)) => 3 +array-len: ((1162 string-address-array) (raw)) +mem: ((1162 integer) (raw)) => 4 +run: split/main 22: 1166 => ((12 string-address-address)) +mem: ((12 string-address-address)): 1020 <= 1166 +run: split/main 23: (((12 string-address-address) (deref)) <- ((string-copy)) ((1 string-address)) ((10 integer)) ((11 integer))) +mem: ((1 string-address)) => 1000 +mem: ((10 integer)) => 5 +mem: ((11 integer)) => 6 +run: string-copy/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: string-copy/split/main 0: 1482 => ((default-space space-address)) +run: string-copy/split/main 1: (((1 string-address)) <- ((next-input))) +arg: nil 0 (1000 5 6) +run: string-copy/split/main 1: 1000 => ((1 string-address)) +mem: ((1 string-address)): 1484 <= 1000 +run: string-copy/split/main 2: (((2 integer)) <- ((next-input))) +arg: nil 1 (1000 5 6) +run: string-copy/split/main 2: 5 => ((2 integer)) +mem: ((2 integer)): 1485 <= 5 +run: string-copy/split/main 3: (((3 integer)) <- ((next-input))) +arg: nil 2 (1000 5 6) +run: string-copy/split/main 3: 6 => ((3 integer)) +mem: ((3 integer)): 1486 <= 6 +run: string-copy/split/main 4: (((4 integer)) <- ((length)) ((1 string-address) (deref))) +array-len: ((1 string-address) (deref)) +mem: ((1000 integer) (raw)) => 6 +run: string-copy/split/main 4: 6 => ((4 integer)) +mem: ((4 integer)): 1487 <= 6 +run: string-copy/split/main 5: (((3 integer)) <- ((min)) ((4 integer)) ((3 integer))) +mem: ((4 integer)) => 6 +mem: ((3 integer)) => 6 +run: min/string-copy/split/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) +run: min/string-copy/split/main 0: 1513 => ((default-space space-address)) +run: min/string-copy/split/main 1: (((1 integer)) <- ((next-input))) +arg: nil 0 (6 6) +run: min/string-copy/split/main 1: 6 => ((1 integer)) +mem: ((1 integer)): 1515 <= 6 +run: min/string-copy/split/main 2: (((2 integer)) <- ((next-input))) +arg: nil 1 (6 6) +run: min/string-copy/split/main 2: 6 => ((2 integer)) +mem: ((2 integer)): 1516 <= 6 +run: min/string-copy/split/main 3: (((3 boolean)) <- ((less-than)) ((1 integer)) ((2 integer))) +mem: ((1 integer)) => 6 +mem: ((2 integer)) => 6 +run: min/string-copy/split/main 3: nil => ((3 boolean)) +mem: ((3 boolean)): 1517 <= nil +run: min/string-copy/split/main 4: (((jump-if)) ((3 boolean)) ((1 offset))) +mem: ((3 boolean)) => nil +run: min/string-copy/split/main 5: (((reply)) ((2 integer))) +mem: ((2 integer)) => 6 +run: string-copy/split/main 5: 6 => ((3 integer)) +mem: ((3 integer)): 1486 <= 6 +run: string-copy/split/main 6: (((4 integer)) <- ((subtract)) ((3 integer)) ((2 integer))) +mem: ((3 integer)) => 6 +mem: ((2 integer)) => 5 +run: string-copy/split/main 6: 1 => ((4 integer)) +mem: ((4 integer)): 1487 <= 1 +run: string-copy/split/main 7: (((5 string-address)) <- ((new)) ((string literal)) ((4 integer))) +mem: ((4 integer)) => 1 +run: string-copy/split/main 7: 1544 => ((5 string-address)) +mem: ((5 string-address)): 1488 <= 1544 +run: string-copy/split/main 8: (((6 integer)) <- ((copy)) ((2 integer))) +mem: ((2 integer)) => 5 +run: string-copy/split/main 8: 5 => ((6 integer)) +mem: ((6 integer)): 1489 <= 5 +run: string-copy/split/main 9: (((7 integer)) <- ((copy)) ((0 literal))) +run: string-copy/split/main 9: 0 => ((7 integer)) +mem: ((7 integer)): 1490 <= 0 +run: string-copy/split/main 10: (((8 boolean)) <- ((greater-or-equal)) ((6 integer)) ((3 integer))) +mem: ((6 integer)) => 5 +mem: ((3 integer)) => 6 +run: string-copy/split/main 10: nil => ((8 boolean)) +mem: ((8 boolean)): 1491 <= nil +run: string-copy/split/main 11: (((jump-if)) ((8 boolean)) ((6 offset))) +mem: ((8 boolean)) => nil +run: string-copy/split/main 12: (((9 character)) <- ((index)) ((1 string-address) (deref)) ((6 integer))) +mem: ((6 integer)) => 5 +array-len: ((1000 string) (raw)) +mem: ((1000 integer) (raw)) => 6 +mem: ((1006 byte) (raw)) => c +run: string-copy/split/main 12: #\c => ((9 character)) +mem: ((9 character)): 1492 <= #\c +run: string-copy/split/main 13: (((10 character-address)) <- ((index-address)) ((5 string-address) (deref)) ((7 integer))) +mem: ((7 integer)) => 0 +array-len: ((1544 string) (raw)) +mem: ((1544 integer) (raw)) => 1 +run: string-copy/split/main 13: 1545 => ((10 character-address)) +mem: ((10 character-address)): 1493 <= 1545 +run: string-copy/split/main 14: (((10 character-address) (deref)) <- ((copy)) ((9 character))) +mem: ((9 character)) => c +run: string-copy/split/main 14: #\c => ((10 character-address) (deref)) +mem: ((10 character-address) (deref)): 1545 <= #\c +run: string-copy/split/main 15: (((6 integer)) <- ((add)) ((6 integer)) ((1 literal))) +mem: ((6 integer)) => 5 +run: string-copy/split/main 15: 6 => ((6 integer)) +mem: ((6 integer)): 1489 <= 6 +run: string-copy/split/main 16: (((7 integer)) <- ((add)) ((7 integer)) ((1 literal))) +mem: ((7 integer)) => 0 +run: string-copy/split/main 16: 1 => ((7 integer)) +mem: ((7 integer)): 1490 <= 1 +run: string-copy/split/main 17: (((jump)) ((-8 offset))) +run: string-copy/split/main 10: (((8 boolean)) <- ((greater-or-equal)) ((6 integer)) ((3 integer))) +mem: ((6 integer)) => 6 +mem: ((3 integer)) => 6 +run: string-copy/split/main 10: t => ((8 boolean)) +mem: ((8 boolean)): 1491 <= t +run: string-copy/split/main 11: (((jump-if)) ((8 boolean)) ((6 offset))) +mem: ((8 boolean)) => t +run: string-copy/split/main 18: (((reply)) ((5 string-address))) +mem: ((5 string-address)) => 1544 +run: split/main 23: 1544 => ((12 string-address-address) (deref)) +mem: ((12 string-address-address) (deref)): 1166 <= 1544 +run: split/main 24: (((10 integer)) <- ((add)) ((11 integer)) ((1 literal))) +mem: ((11 integer)) => 6 +run: split/main 24: 7 => ((10 integer)) +mem: ((10 integer)): 1018 <= 7 +run: split/main 25: (((9 integer)) <- ((add)) ((9 integer)) ((1 literal))) +mem: ((9 integer)) => 3 +run: split/main 25: 4 => ((9 integer)) +mem: ((9 integer)): 1017 <= 4 +run: split/main 26: (((jump)) ((-8 offset))) +run: split/main 19: (((8 boolean)) <- ((greater-or-equal)) ((10 integer)) ((3 integer))) +mem: ((10 integer)) => 7 +mem: ((3 integer)) => 6 +run: split/main 19: t => ((8 boolean)) +mem: ((8 boolean)): 1016 <= t +run: split/main 20: (((jump-if)) ((8 boolean)) ((6 offset))) +mem: ((8 boolean)) => t +run: split/main 27: (((reply)) ((5 string-address-array-address))) +mem: ((5 string-address-array-address)) => 1162 +run: main 1: 1162 => ((2 string-address-array-address)) +mem: ((2 string-address-array-address)): 2 <= 1162 +schedule: done with routine nil -- cgit 1.4.1-2-gfad0