===: main c{0: 0 (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal) (capacity))) -- nil c{0: 1 (((initial-position integer-array-address)) <- ((init-array)) ((R literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((r literal)) ((N literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((n literal)) ((B literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((b literal)) ((Q literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((q literal)) ((K literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((k literal)) ((B literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((b literal)) ((N literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((n literal)) ((R literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((r literal))) -- nil c{0: 2 (((b board-address)) <- ((init-board)) ((initial-position integer-array-address))) -- nil c{0: 3 (((screen terminal-address)) <- ((init-fake-terminal)) ((20 literal)) ((10 literal))) -- nil c{0: 4 (((print-board)) ((screen terminal-address)) ((b board-address))) -- nil c{0: 5 (((1 string-address) (raw)) <- ((get)) ((screen terminal-address) (deref)) ((data offset))) -- nil c{1: 0 ✓ (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal) (capacity))) c{1: 1 ✓ (((initial-position integer-array-address)) <- ((init-array)) ((R literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((r literal)) ((N literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((n literal)) ((B literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((b literal)) ((Q literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((q literal)) ((K literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((k literal)) ((B literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((b literal)) ((N literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((n literal)) ((R literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((r literal))) c{1: 2 ✓ (((b board-address)) <- ((init-board)) ((initial-position integer-array-address))) c{1: 3 ✓ (((screen terminal-address)) <- ((init-fake-terminal)) ((20 literal)) ((10 literal))) c{1: 4 ✓ (((print-board)) ((screen terminal-address)) ((b board-address))) c{1: 5 ✓ (((1 string-address) (raw)) <- ((get)) ((screen terminal-address) (deref)) ((data offset))) cn0: convert-names in main cn0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal) (capacity))) nil nil cn0: checking arg ((space literal)) cn0: checking arg ((30 literal) (capacity)) cn0: checking oarg ((default-space space-address)) maybe-add: ((default-space space-address)) cn0: (((initial-position integer-array-address)) <- ((init-array)) ((R literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((r literal)) ((N literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((n literal)) ((B literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((b literal)) ((Q literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((q literal)) ((K literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((k literal)) ((B literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((b literal)) ((N literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((n literal)) ((R literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((r literal))) nil nil cn0: checking arg ((R literal)) cn0: checking arg ((P literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((p literal)) cn0: checking arg ((r literal)) cn0: checking arg ((N literal)) cn0: checking arg ((P literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((p literal)) cn0: checking arg ((n literal)) cn0: checking arg ((B literal)) cn0: checking arg ((P literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((p literal)) cn0: checking arg ((b literal)) cn0: checking arg ((Q literal)) cn0: checking arg ((P literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((p literal)) cn0: checking arg ((q literal)) cn0: checking arg ((K literal)) cn0: checking arg ((P literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((p literal)) cn0: checking arg ((k literal)) cn0: checking arg ((B literal)) cn0: checking arg ((P literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((p literal)) cn0: checking arg ((b literal)) cn0: checking arg ((N literal)) cn0: checking arg ((P literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((p literal)) cn0: checking arg ((n literal)) cn0: checking arg ((R literal)) cn0: checking arg ((P literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((_ literal)) cn0: checking arg ((p literal)) cn0: checking arg ((r literal)) cn0: checking oarg ((initial-position integer-array-address)) maybe-add: ((initial-position integer-array-address)) cn0: location for oarg ((initial-position integer-array-address)): 1 cn0: (((b board-address)) <- ((init-board)) ((initial-position integer-array-address))) ((initial-position 1)) nil cn0: checking arg ((initial-position integer-array-address)) maybe-add: ((initial-position integer-array-address)) cn0: checking oarg ((b board-address)) maybe-add: ((b board-address)) cn0: location for oarg ((b board-address)): 2 cn0: (((screen terminal-address)) <- ((init-fake-terminal)) ((20 literal)) ((10 literal))) ((b 2) (initial-position 1)) nil cn0: checking arg ((20 literal)) cn0: checking arg ((10 literal)) cn0: checking oarg ((screen terminal-address)) maybe-add: ((screen terminal-address)) cn0: location for oarg ((screen terminal-address)): 3 cn0: (((print-board)) ((screen terminal-address)) ((b board-address))) ((b 2) (initial-position 1) (screen 3)) nil cn0: checking arg ((screen terminal-address)) maybe-add: ((screen terminal-address)) cn0: checking arg ((b board-address)) maybe-add: ((b board-address)) cn0: (((1 string-address) (raw)) <- ((get)) ((screen terminal-address) (deref)) ((data offset))) ((b 2) (initial-position 1) (screen 3)) nil cn0: field-access data in screenterminal-addressderef of type terminal cn0: new field; computing location cn0: field location 4 cn0: checking arg ((screen terminal-address) (deref)) maybe-add: ((screen terminal-address) (deref)) cn0: checking arg ((data offset)) cn0: checking oarg ((1 string-address) (raw)) maybe-add: ((1 string-address) (raw)) cn1: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal) (capacity))) cn1: (((1 integer-array-address)) <- ((init-array)) ((R literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((r literal)) ((N literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((n literal)) ((B literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((b literal)) ((Q literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((q literal)) ((K literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((k literal)) ((B literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((b literal)) ((N literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((n literal)) ((R literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((r literal))) cn1: (((2 board-address)) <- ((init-board)) ((1 integer-array-address))) cn1: (((3 terminal-address)) <- ((init-fake-terminal)) ((20 literal)) ((10 literal))) cn1: (((print-board)) ((3 terminal-address)) ((2 board-address))) cn1: (((1 string-address) (raw)) <- ((get)) ((3 terminal-address) (deref)) ((4 offset))) schedule: main run: main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal) (capacity))) run: main 0: 1000 => ((default-space space-address)) run: main 1: (((1 integer-array-address)) <- ((init-array)) ((R literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((r literal)) ((N literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((n literal)) ((B literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((b literal)) ((Q literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((q literal)) ((K literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((k literal)) ((B literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((b literal)) ((N literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((n literal)) ((R literal)) ((P literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((_ literal)) ((p literal)) ((r literal))) run: init-array/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) run: init-array/main 0: 1031 => ((default-space space-address)) run: init-array/main 1: (((1 integer)) <- ((copy)) ((0 literal))) run: init-array/main 1: 0 => ((1 integer)) mem: ((1 integer)): 1033 <= 0 run: init-array/main 2: (((2 integer)) ((3 boolean)) <- ((next-input))) arg: nil 0 (#\R #\P #\_ #\_ #\_ #\_ #\p #\r #\N #\P #\_ #\_ #\_ #\_ #\p #\n #\B #\P #\_ #\_ #\_ #\_ #\p #\b #\Q #\P #\_ #\_ #\_ #\_ #\p #\q #\K #\P #\_ #\_ #\_ #\_ #\p #\k #\B #\P #\_ #\_ #\_ #\_ #\p #\b #\N #\P #\_ #\_ #\_ #\_ #\p #\n #\R #\P #\_ #\_ #\_ #\_ #\p #\r) run: init-array/main 2: #\R => ((2 integer)) mem: ((2 integer)): 1034 <= #\R run: init-array/main 2: t => ((3 boolean)) mem: ((3 boolean)): 1035 <= t run: init-array/main 3: (((jump-unless)) ((3 boolean)) ((2 offset))) mem: ((3 boolean)) => t run: init-array/main 4: (((1 integer)) <- ((add)) ((1 integer)) ((1 literal))) mem: ((1 integer)) => 0 run: init-array/main 4: 1 => ((1 integer)) mem: ((1 integer)): 1033 <= 1 run: init-array/main 5: (((jump)) ((-4 offset))) run: init-array/main 2: (((2 integer)) ((3 boolean)) <- ((next-input))) arg: nil 1 (#\R #\P #\_ #\_ #\_ #\_ #\p #\r #\N #\P #\_ #\_ #\_ #\_ #\p #\n #\B #\P #\_ #\_ #\_ #\_ #\p #\b #\Q #\P #\_ #\_ #\_ #\_ #\p #\q #\K #\P #\_ #\_ #\_ #\_ #\p #\k #\B #\P #\_ #\_ #\_ #\_ #\p #\b #\N #\P #\_ #\_ #\_ #\_ #\p #\n #\R #\P #\_ #\_ #\_ #\_ #\p #\r) run: init-array/main 2: #\P => ((2 integer)) mem: ((2 integer)): 1034 <= #\P run: init-array/main 2: t => ((3 boolean)) mem: ((3 boolean)): 1035 <= t run: init-array/main 3: (((jump-unless)) ((3 boolean)) ((2 offset))) mem: ((3 boolean)) => t run: init-array/main 4: (((1 integer)) <- ((add)) ((1 integer)) ((1 literal))) mem: ((1 integer)) => 1 run: init-array/main 4: 2 => ((1 integer)) mem: ((1 integer)): 1033 <= 2 run: init-array/main 5: (((jump)) ((-4 offset))) run: init-array/main 2: (((2 integer)) ((3 boolean)) <- ((next-input))) arg: nil 2 (#\R #\P #\_ #\_ #\_ #\_ #\p #\r #\N #\P #\_ #\_ #\_ #\_ #\p #\n #\B #\P #\_ #\_ #\_ #\_ #\p #\b #\Q #\P #\_ #\_ #\_ #\_ #\p #\q #\K #\P #\_ #\_ #\_ #\_ #\p #\k #\B #\P #\_ #\_ #\_ #\_ #\p #\b #\N #\P #\_ #\_ #\_ #\_ #\p #\n #\R #\P #\_ #\_ #\_ #\_ #\p #\r) run: init-array/main 2: #\_ => ((2 integer)) mem: ((2 integer)): 1034 <= #\_ run: init-array/main 2: t => ((3 boolean)) mem: ((3 boolean)): 1035 <= t run: init-array/main 3: (((jump-unless)) ((3 boolean)) ((2 offset))) mem: ((3 boolean)) => t run: init-array/main 4: (((1 integer)) <- ((add)) ((1 integer)) ((1 literal))) mem: ((1 integer)) => 2 run: init-array/main 4: 3 => ((1 integer)) mem: ((1 integer)): 1033 <= 3 run: init-array/main 5: (((jump)) ((-4 offset))) run: init-array/main 2: (((2 integer)) ((3 boolean)) <- ((next-input))) arg: nil 3 (#\R #\P #\_ #\_ #\_ #\_ #\p #\r #\N #\P #\_ #\_ #\_ #\_ #\p #\n #\B #\P #\_ #\_ #\_ #\_ #\p #\b #\Q #\P #\_ #\_ #\_ #\_ #\p #\q #\K #\P #\_ #\_ #\_ #\_ #\p #\k #\B #\P #\_ #\_ #\_ #\_ #\p #\b #\N #\P #\_ #\_ #\_ #\_ #\p #\n #\R #\P #\_ #\_ #\_ #\_ #\p #\r) run: init-array/main 2: #\_ => ((2 integer)) mem: ((2 integer)): 1034 <= #\_ run: init-array/main 2: t => ((3 boolean)) mem: ((3 boolean)): 1035 <= t run: init-array/main 3: (((jump-unless)) ((3 boolean)) ((2