===: main c{0: 0 (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal) (capacity))) -- nil c{0: 1 (((stdin channel-address)) <- ((init-channel)) ((1 literal))) -- nil c{0: 2 (((screen terminal-address)) <- ((init-fake-terminal)) ((20 literal)) ((10 literal))) -- nil c{0: 3 (((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: 4 (((b board-address)) <- ((init-board)) ((initial-position integer-array-address))) -- nil c{0: 5 (((m move-address)) <- ((new)) ((move literal))) -- nil c{0: 6 (((f integer-integer-pair-address)) <- ((get-address)) ((m move-address) (deref)) ((from offset))) -- nil c{0: 7 (((dest integer-address)) <- ((get-address)) ((f integer-integer-pair-address) (deref)) ((0 offset))) -- nil c{0: 8 (((dest integer-address) (deref)) <- ((copy)) ((0 literal))) -- nil c{0: 9 (((dest integer-address)) <- ((get-address)) ((f integer-integer-pair-address) (deref)) ((1 offset))) -- nil c{0: 10 (((dest integer-address) (deref)) <- ((copy)) ((1 literal))) -- nil c{0: 11 (((t0 integer-integer-pair-address)) <- ((get-address)) ((m move-address) (deref)) ((to offset))) -- nil c{0: 12 (((dest integer-address)) <- ((get-address)) ((t0 integer-integer-pair-address) (deref)) ((0 offset))) -- nil c{0: 13 (((dest integer-address) (deref)) <- ((copy)) ((0 literal))) -- nil c{0: 14 (((dest integer-address)) <- ((get-address)) ((t0 integer-integer-pair-address) (deref)) ((1 offset))) -- nil c{0: 15 (((dest integer-address) (deref)) <- ((copy)) ((3 literal))) -- nil c{0: 16 (((b board-address)) <- ((make-move)) ((b board-address)) ((m move-address))) -- nil c{0: 17 (((print-board)) ((screen terminal-address)) ((b board-address))) -- nil c{0: 18 (((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 ✓ (((stdin channel-address)) <- ((init-channel)) ((1 literal))) c{1: 2 ✓ (((screen terminal-address)) <- ((init-fake-terminal)) ((20 literal)) ((10 literal))) c{1: 3 ✓ (((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: 4 ✓ (((b board-address)) <- ((init-board)) ((initial-position integer-array-address))) c{1: 5 ✓ (((m move-address)) <- ((new)) ((move literal))) c{1: 6 ✓ (((f integer-integer-pair-address)) <- ((get-address)) ((m move-address) (deref)) ((from offset))) c{1: 7 ✓ (((dest integer-address)) <- ((get-address)) ((f integer-integer-pair-address) (deref)) ((0 offset))) c{1: 8 ✓ (((dest integer-address) (deref)) <- ((copy)) ((0 literal))) c{1: 9 ✓ (((dest integer-address)) <- ((get-address)) ((f integer-integer-pair-address) (deref)) ((1 offset))) c{1: 10 ✓ (((dest integer-address) (deref)) <- ((copy)) ((1 literal))) c{1: 11 ✓ (((t0 integer-integer-pair-address)) <- ((get-address)) ((m move-address) (deref)) ((to offset))) c{1: 12 ✓ (((dest integer-address)) <- ((get-address)) ((t0 integer-integer-pair-address) (deref)) ((0 offset))) c{1: 13 ✓ (((dest integer-address) (deref)) <- ((copy)) ((0 literal))) c{1: 14 ✓ (((dest integer-address)) <- ((get-address)) ((t0 integer-integer-pair-address) (deref)) ((1 offset))) c{1: 15 ✓ (((dest integer-address) (deref)) <- ((copy)) ((3 literal))) c{1: 16 ✓ (((b board-address)) <- ((make-move)) ((b board-address)) ((m move-address))) c{1: 17 ✓ (((print-board)) ((screen terminal-address)) ((b board-address))) c{1: 18 ✓ (((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: (((stdin channel-address)) <- ((init-channel)) ((1 literal))) nil nil cn0: checking arg ((1 literal)) cn0: checking oarg ((stdin channel-address)) maybe-add: ((stdin channel-address)) cn0: location for oarg ((stdin channel-address)): 1 cn0: (((screen terminal-address)) <- ((init-fake-terminal)) ((20 literal)) ((10 literal))) ((stdin 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)): 2 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))) ((screen 2) (stdin 1)) 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)): 3 cn0: (((b board-address)) <- ((init-board)) ((initial-position integer-array-address))) ((initial-position 3) (screen 2) (stdin 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)): 4 cn0: (((m move-address)) <- ((new)) ((move literal))) ((b 4) (initial-position 3) (screen 2) (stdin 1)) nil cn0: checking arg ((move literal)) cn0: checking oarg ((m move-address)) maybe-add: ((m move-address)) cn0: location for oarg ((m move-address)): 5 cn0: (((f integer-integer-pair-address)) <- ((get-address)) ((m move-address) (deref)) ((from offset))) ((b 4) (initial-position 3) (m 5) (screen 2) (stdin 1)) nil cn0: field-access from in mmove-addressderef of type move cn0: new field; computing location cn0: field location 0 cn0: checking arg ((m move-address) (deref)) maybe-add: ((m move-address) (deref)) cn0: checking arg ((from offset)) cn0: checking oarg ((f integer-integer-pair-address)) maybe-add: ((f integer-integer-pair-address)) cn0: location for oarg ((f integer-integer-pair-address)): 6 cn0: (((dest integer-address)) <- ((get-address)) ((f integer-integer-pair-address) (deref)) ((0 offset))) ((b 4) (f 6) (from 0) (initial-position 3) (m 5) (screen 2) (stdin 1)) ((from t)) cn0: field-access 0 in finteger-integer-pair-addressderef of type integer-integer-pair cn0: checking arg ((f integer-integer-pair-address) (deref)) maybe-add: ((f integer-integer-pair-address) (deref)) cn0: checking arg ((0 offset)) cn0: checking oarg ((dest integer-address)) maybe-add: ((dest integer-address)) cn0: location for oarg ((dest integer-address)): 7 cn0: (((dest integer-address) (deref)) <- ((copy)) ((0 literal))) ((b 4) (dest 7) (f 6) (from 0) (initial-position 3) (m 5) (screen 2) (stdin 1)) ((from t)) cn0: checking arg ((0 literal)) cn0: checking oarg ((dest integer-address) (deref)) maybe-add: ((dest integer-address) (deref)) cn0: (((dest integer-address)) <- ((get-address)) ((f integer-integer-pair-address) (deref)) ((1 offset))) ((b 4) (dest 7) (f 6) (from 0) (initial-position 3) (m 5) (screen 2) (stdin 1)) ((from t)) cn0: field-access 1 in finteger-integer-pair-addressderef of type integer-integer-pair cn0: checking arg ((f integer-integer-pair-address) (deref)) maybe-add: ((f integer-integer-pair-address) (deref)) cn0: checking arg ((1 offset)) cn0: checking oarg ((dest integer-address)) maybe-add: ((dest integer-address)) cn0: (((dest integer-address) (deref)) <- ((copy)) ((1 literal))) ((b 4) (dest 7) (f 6) (from 0) (initial-position 3) (m 5) (screen 2) (stdin 1)) ((from t)) cn0: checking arg ((1 literal)) cn0: checking oarg ((dest integer-address) (deref)) maybe-add: ((dest integer-address) (deref)) cn0: (((t0 integer-integer-pair-address)) <- ((get-address)) ((m move-address) (deref)) ((to offset))) ((b 4) (dest 7) (f 6) (from 0) (initial-position 3) (m 5) (screen 2) (stdin 1)) ((from t)) cn0: field-access to in mmove-addressderef of type move cn0: new field; computing location cn0: field location 1 cn0: checking arg ((m move-address) (deref)) maybe-add: ((m move-address) (deref)) cn0: checking arg ((to offset)) cn0: checking oarg ((t0 integer-integer-pair-address)) maybe-add: ((t0 integer-integer-pair-address)) cn0: location for oarg ((t0 integer-integer-pair-address)): 8 cn0: (((dest integer-address)) <- ((get-address)) ((t0 integer-integer-pair-address) (deref)) ((0 offset))) ((b 4) (dest 7) (f 6) (from 0) (initial-position 3) (m 5) (screen 2) (stdin 1) (t0 8) (to 1)) ((from t) (to t)) cn0: field-access 0 in t0integer-integer-pair-addressderef of type integer-integer-pair cn0: checking arg ((t0 integer-integer-pair-address) (deref)) maybe-add: ((t0 integer-integer-pair-address) (deref)) cn0: checking arg ((0 offset)) cn0: checking oarg ((dest integer-address)) maybe-add: ((dest integer-address)) cn0: (((dest integer-address) (deref)) <- ((copy)) ((0 literal))) ((b 4) (dest 7) (f 6) (from 0) (initial-position 3) (m 5) (screen 2) (stdin 1) (t0 8) (to 1)) ((from t) (to t)) cn0: checking arg ((0 literal)) cn0: checking oarg ((dest integer-address) (deref)) maybe-add: ((dest integer-address) (deref)) cn0: (((dest integer-address)) <- ((get-address)) ((t0 integer-integer-pair-address) (deref)) ((1 offset))) ((b 4) (dest 7) (f 6) (from 0) (initial-position 3) (m 5) (screen 2) (stdin 1) (t0 8) (to 1)) ((from t) (to t)) cn0: field-access 1 in t0integer-integer-pair-addressderef of type integer-integer-pair cn0: checking arg ((t0 integer-integer-pair-address) (deref)) maybe-add: ((t0 integer-integer-pair-address) (deref)) cn0: checking arg ((1 offset)) cn0: checking oarg ((dest integer-address)) maybe-add: ((dest integer-address)) cn0: (((dest integer-address) (deref)) <- ((copy)) ((3 literal))) ((b 4) (dest 7) (f 6) (from 0) (initial-position 3) (m 5) (screen 2) (stdin 1) (t0 8) (to 1)) ((from t) (to t)) cn0: checking arg ((3 literal)) cn0: checking oarg ((dest integer-address) (deref)) maybe-add: ((dest integer-address) (deref)) cn0: (((b board-address)) <- ((make-move)) ((b board-address)) ((m move-address))) ((b 4) (dest 7) (f 6) (from 0) (initial-position 3) (m 5) (screen 2) (stdin 1) (t0 8) (to 1)) ((from t) (to t)) cn0: checking arg ((b board-address)) maybe-add: ((b board-address)) cn0: checking arg ((m move-address)) maybe-add: ((m move-address)) cn0: checking oarg ((b board-address)) maybe-add: ((b board-address)) cn0: (((print-board)) ((screen terminal-address)) ((b board-address))) ((b 4) (dest 7) (f 6) (from 0) (initial-position 3) (m 5) (screen 2) (stdin 1) (t0 8) (to 1)) ((from t) (to t)) 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 4) (dest 7) (f 6) (from 0) (initial-position 3) (m 5) (screen 2) (stdin 1) (t0 8) (to 1)) ((from t) (to t)) 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 channel-address)) <- ((init-channel)) ((1 literal))) cn1: (((2 terminal-address)) <- ((init-fake-terminal)) ((20 literal)) ((10 literal))) cn1: (((3 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: (((4 board-address)) <- ((init-board)) ((3 integer-array-address))) cn1: (((5 move-address)) <- ((new)) ((move literal))) cn1: (((6 integer-integer-pair-address)) <- ((get-address)) ((5 move-address) (deref)) ((0 offset))) cn1: (((7 integer-address)) <- ((get-address)) ((6 integer-integer-pair-address) (deref)) ((0 offset))) cn1: (((7 integer-address) (deref)) <- ((copy)) ((0 literal))) cn1: (((7 integer-address)) <- ((get-address)) ((6 integer-integer-pair-address) (deref)) ((1 offset))) cn1: (((7 integer-address) (deref)) <- ((copy)) ((1 literal))) cn1: (((8 integer-integer-pair-address)) <- ((get-address)) ((5 move-address) (deref)) ((1 offset))) cn1: (((7 integer-address)) <- ((get-address)) ((8 integer-integer-pair-address) (deref)) ((0 offset))) cn1: (((7 integer-address) (deref)) <- ((copy)) ((0 literal))) cn1: (((7 integer-address)) <- ((get-address)) ((8 integer-integer-pair-address) (deref)) ((1 offset))) cn1: (((7 integer-address) (deref)) <- ((copy)) ((3 literal))) cn1: (((4 board-address)) <- ((make-move)) ((4 board-address)) ((5 move-address))) cn1: (((print-board)) ((2 terminal-address)) ((4 board-address))) cn1: (((1 string-address) (raw)) <- ((get)) ((2 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 channel-address)) <- ((init-channel)) ((1 literal))) run: init-channel/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) run: init-channel/main 0: 1031 => ((default-space space-address)) run: init-channel/main 1: (((1 channel-address)) <- ((new)) ((channel literal))) run: init-channel/main 1: 1062 => ((1 channel-address)) mem: ((1 channel-address)): 1033 <= 1062 run: init-channel/main 2: (((2 integer-address)) <- ((get-address)) ((1 channel-address) (deref)) ((0 offset))) run: init-channel/main 2: 1062 => ((2 integer-address)) mem: ((2 integer-address)): 1034 <= 1062 run: init-channel/main 3: (((2 integer-address) (deref)) <- ((copy)) ((0 literal))) run: init-channel/main 3: 0 => ((2 integer-address) (deref)) mem: ((2 integer-address) (deref)): 1062 <= 0 run: init-channel/main 4: (((3 integer-address)) <- ((get-address)) ((1 channel-address) (deref)) ((1 offset))) run: init-channel/main 4: 1063 => ((3 integer-address)) mem: ((3 integer-address)): 1035 <= 1063 run: init-channel/main 5: (((3 integer-address) (deref)) <- ((copy)) ((0 literal))) run: init-channel/main 5: 0 => ((3 integer-address) (deref)) mem: ((3 integer-address) (deref)): 1063 <= 0 run: init-channel/main 6: (((4 integer)) <- ((next-input))) arg: nil 0 (1) run: init-channel/main 6: 1 => ((4 integer)) mem: ((4 integer)): 1036 <= 1 run: init-channel/main 7: (((4 integer)) <- ((add)) ((4 integer)) ((1 literal))) mem: ((4 integer)) => 1 run: init-channel/main 7: 2 => ((4 integer)) mem: ((4 integer)): 1036 <= 2 run: init-channel/main 8: (((5 tagged-value-array-address-address)) <- ((get-address)) ((1 channel-address) (deref)) ((2 offset))) run: init-channel/main 8: 1064 => ((5 tagged-value-array-address-address)) mem: ((5 tagged-value-array-address-address)): 1037 <= 1064 run: init-channel/main 9: (((5 tagged-value-array-address-address) (deref)) <- ((new)) ((tagged-value-array literal)) ((4 integer))) mem: ((4 integer)) => 2 run: init-channel/main 9: 1065 => ((5 tagged-value-array-address-address) (deref)) mem: ((5 tagged-value-array-address-address) (deref)): 1064 <= 1065 run: init-channel/main 10: (((reply)) ((1 channel-address))) mem: ((1 channel-address)) => 1062 run: main 1: 1062 => ((1 channel-address)) mem: ((1 channel-address)): 1002 <= 1062 run: main 2: (((2 terminal-address)) <- ((init-fake-terminal)) ((20 literal)) ((10 literal))) run: init-fake-terminal/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal) (capacity))) run: init-fake-terminal/main 0: 1070 => ((default-space space-address)) run: init-fake-terminal/main 1: (((1 terminal-address)) <- ((new)) ((terminal literal))) run: init-fake-terminal/main 1: 1101 => ((1 terminal-address)) mem: ((1 terminal-address)): 1072 <= 1101 run: init-fake-terminal/main 2: (((2 integer-address)) <- ((get-address)) ((1 terminal-address) (deref)) ((1 offset))) run: init-fake-terminal/main 2: 1102 => ((2 integer-address)) mem: ((2 integer-address)): 1073 <= 1102 run: init-fake-terminal/main 3: (((2 integer-address) (deref)) <- ((next-input))) arg: nil 0 (20 10) run: init-fake-terminal/main 3: 20 => ((2 integer-address) (deref)) mem: ((2 integer-address) (deref)): 1102 <= 20 run: init-fake-terminal/main 4: (((3 integer-address)) <- ((get-address)) ((1 terminal-address) (deref)) ((0 offset))) run: init-fake-terminal/main 4: 1101 => ((3 integer-address)) mem: ((3 integer-address)): 1074 <= 1101 run: init-fake-terminal/main 5: (((3 integer-address) (deref)) <- ((next-input))) arg: nil 1 (20 10) run: init-fake-terminal/main 5: 10 => ((3 integer-address) (deref)) mem: ((3 integer-address) (deref)): 1101 <= 10 run: init-fake-terminal/main 6: (((4 integer-address)) <- ((get-address)) ((1 terminal-address) (deref)) ((2 offset))) run: init-fake-terminal/main 6: 1103 => ((4 integer-address)) mem: ((4 integer-address)): 1075 <= 1103 run: init-fake-terminal/main 7: (((4 integer-address) (deref)) <- ((copy)) ((0 literal))) run: init-fake-terminal/main 7: 0 => ((4 integer-address) (deref)) mem: ((4 integer-address) (deref)): 1103 <= 0 run: init-fake-terminal/main 8: (((5 integer-address)) <- ((get-address)) ((1 terminal-address) (deref)) ((3 offset))) run: init-fake-terminal/main 8: 1104 => ((5 integer-address)) mem: ((5 integer-address)): 1076 <= 1104 run: init-fake-terminal/main 9: (((5 integer-address) (deref)) <- ((copy)) ((0 literal))) run: init-fake-terminal/main 9: 0 => ((5 integer-address) (deref)) mem: ((5 integer-address) (deref)): 1104 <= 0 run: init-fake-terminal/main 10: (((6 integer)) <- ((multiply)) ((2 integer-address) (deref)) ((3 integer-address) (deref))) mem: ((2 integer-address) (deref)) => 20 mem: ((3 integer-address) (deref)) => 10 run: init-fake-terminal/main 10: 200 => ((6 integer)) mem: ((6 integer)): 1077 <= 200 run: init-fake-terminal/main 11: (((7 string-address-address)) <- ((get-address)) ((1 terminal-address) (deref)) ((4 offset))) run: init-fake-terminal/main 11: 1105 => ((7 string-address-address)) mem: ((7 string-address-address)): 1078 <= 1105 run: init-fake-terminal/main 12: (((7 string-address-address) (deref)) <- ((new)) ((string literal)) ((6 integer))) mem: ((6 integer)) => 200 run: init-fake-terminal/main 12: 1106 => ((7 string-address-address) (deref)) mem: ((7 string-address-address) (deref)): 1105 <= 1106 run: init-fake-terminal/main 13: (((clear-screen)) ((1 terminal-address))) mem: ((1 terminal-address)) => 1101 run: clear-screen/init-fake-terminal/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) run: clear-screen/init-fake-terminal/main 0: 1307 => ((default-space space-address)) run: clear-screen/init-fake-terminal/main 1: (((1 terminal-address)) <- ((next-input))) arg: nil 0 (1101) run: clear-screen/init-fake-terminal/main 1: 1101 => ((1 terminal-address)) mem: ((1 terminal-address)): 1309 <= 1101 run: clear-screen/init-fake-terminal/main 2: (((jump-unless)) ((1 terminal-address)) ((10 offset))) mem: ((1 terminal-address)) => 1101 run: clear-screen/init-fake-terminal/main 3: (((2 string-address)) <- ((get)) ((1 terminal-address) (deref)) ((4 offset))) mem: ((1105 string-address) (raw)) => 1106 run: clear-screen/init-fake-terminal/main 3: 1106 => ((2 string-address)) mem: ((2 string-address)): 1310 <= 1106 run: clear-screen/init-fake-terminal/main 4: (((3 integer)) <- ((length)) ((2 string-address) (deref))) array-len: ((2 string-address) (deref)) mem: ((1106 integer) (raw)) => 200 run: clear-screen/init-fake-terminal/main 4: 200 => ((3 integer)) mem: ((3 integer)): 1311 <= 200 run: clear-screen/init-fake-terminal/main 5: (((4 integer)) <- ((copy)) ((0 literal))) run: clear-screen/init-fake-terminal/main 5: 0 => ((4 integer)) mem: ((4 integer)): 1312 <= 0 run: clear-screen/init-fake-terminal/main 6: (((5 boolean)) <- ((greater-or-equal)) ((4 integer)) ((3 integer))) mem: ((4 integer)) => 0 mem: ((3 integer)) => 200 run: clear-screen/init-fake-terminal/main 6: nil => ((5 boolean)) mem: ((5 boolean)): 1313 <= nil run: clear-screen/init-fake-terminal/main 7: (((jump-if)) ((5 boolean)) ((4 offset))) mem: ((5 boolean)) => nil run: clear-screen/init-fake-terminal/main 8: (((1 byte-address)) <- ((index-address)) ((2 string-address) (deref)) ((4 integer))) mem: ((4 integer)) => 0 array-len: ((1106 string) (raw)) mem: ((1106 integer) (raw)) => 200 run: clear-screen/init-fake-terminal/main 8: 1107 => ((1 byte-address)) mem: ((1 byte-address)): 1309 <= 1107 run: clear-screen/init-fake-terminal/main 9: (((1 byte-address) (deref)) <- ((copy)) (( literal))) run: clear-screen/init-fake-terminal/main 9: #\space => ((1 byte-address) (deref)) mem: ((1 byte-address) (deref)): 1107 <= #\space run: clear-screen/init-fake-terminal/main 10: (((4 integer)) <- ((add)) ((4 integer)) ((1 literal))) mem: ((4 integer)) => 0 run: clear-screen/init-fake-terminal/main 10: 1 => ((4 integer)) mem: ((4 integer)): 1312 <= 1 run: clear-screen/init-fake-terminal/main 11: (((jump)) ((-6 offset))) run: clear-screen/init-fake-terminal/main 6: (((5 boolean)) <- ((greater-or-equal)) ((4 integer)) ((3 integer))) mem: ((4 integer)) => 1 mem: ((3 integer)) => 200 run: clear-screen/init-fake-terminal/main 6: nil => ((5 boolean)) mem: ((5 boolean)): 1313 <= nil run: clear-screen/init-fake-terminal/main 7: (((jump-if)) ((5 boolean)) ((4 offset))) mem: ((5 boolean)) => nil run: clear-screen/init-fake-terminal/main 8: (((1 byte-address)) <- ((index-address)) ((2 string-address) (deref)) ((4 integer))) mem: ((4 integer)) => 1 array-len: ((1106 string) (raw)) mem: ((1106 integer) (raw)) => 200 run: clear-screen/init-fake-terminal/main 8: 1108 => ((1 byte-address)) mem: ((1 byte-address)): 1309 <= 1108 run: clear-screen/init-fake-terminal/main 9: (((1 byte-address) (deref)) <- ((copy)) (( literal))) run: clear-screen/init-fake-terminal/main 9: #\space => ((1 byte-address) (deref)) mem: ((1 byte-address) (deref)): 1108 <= #\space run: clear-screen/init-fake-terminal/main 10: (((4 integer)) <- ((add)) ((4 integer)) ((1 literal))) mem: ((4 integer)) => 1 run: clear-screen/init-fake-terminal/main 10: 2 => ((4 integer)) mem: ((4 integer)): 1312 <= 2 run: clear-screen/init-fake-terminal/main 11: (((jump)) ((-6 offset))) run: clear-screen/init-fake-terminal/main 6: (((5 boolean)) <- ((greater-or-equal)) ((4 integer)) ((3 integer))) mem: ((4 integer)) => 2 mem: ((3 integer)) => 200 run: clear-screen/init-fake-terminal/main 6: nil => ((5 boolean)) mem: ((5 boolean)): 1313 <= nil run: clear-screen/init-fake-terminal/main 7: (((jump-if)) ((5 boolean)) ((4 offset))) mem: ((5 boolean)) => nil run: clear-screen/init-fake-terminal/main 8: (((1 byte-address)) <- ((index-address)) ((2 string-address) (deref)) ((4 integer))) mem: ((4 integer)) => 2 array-len: ((1106 string) (raw)) mem: ((1106 integer) (raw)) => 200 run: clear-screen/init-fake-terminal/main 8: 1109 => ((1 byte-address)) mem: ((1 byte-address)): 1309 <= 1109 run: clear-screen/init-fake-terminal/main 9: (((1 byte-address) (deref)) <- ((copy)) (( literal))) run: clear-screen/init-fake-terminal/main 9: #\space => ((1 byte-address) (deref)) mem: ((1 byte-address) (deref)): 1109 <= #\space run: clear-screen/init-fake-terminal/main 10: (((4 integer)) <- ((add)) ((4 integer)) ((1 literal))) mem: ((4 integer)) => 2 run: clear-screen/init-fake-terminal/main 10: 3 => ((4 integer)) mem: ((4 integer)): 1312 <= 3 run: clear-screen/init-fake-terminal/main 11: (((jump)) ((-6 offset))) run: clear-screen/init-fake-terminal/main 6: (((5 boolean)) <- ((greater-or-equal)) ((4 integer)) ((3 integer))) mem: ((4 integer)) => 3 mem: ((3 integer)) => 200 run: clear-screen/init-fake-terminal/main 6: nil => ((5 boolean)) mem: ((5 boolean)): 1313 <= nil run: clear-screen/init-fake-terminal/main 7: (((jump-if)) ((5 boolean)) ((4 offset))) mem: ((5 boolean)) => nil run: clear-screen/init-fake-terminal/main 8: (((1 byte-address)) <- ((index-address)) ((2 string-address) (deref)) ((4 integer))) mem: ((4 integer)) => 3 array-len: ((1106 string) (raw)) mem: ((1106 integer) (raw)) => 200 run: clear-screen/init-fake-terminal/main 8: 1110 => ((1 byte-address)) mem: ((1 byte-address)): 1309 <= 111
/*
* (C)opyright MMVI Anselm R. Garbe <garbeam at gmail dot com>
* See LICENSE file for license details.
*/
#define TAGS \
const char *tags[] = { "1", "2", "3", "4", "5", NULL };
#define DEFMODE dotile /* dofloat */
#define FLOATSYMBOL "~"
#define TILESYMBOL "#"
#define FONT "fixed"
#define SELBGCOLOR "#666699"
#define SELFGCOLOR "#eeeeee"
#define NORMBGCOLOR "#333366"
#define NORMFGCOLOR "#cccccc"
#define STATUSBGCOLOR "#dddddd"
#define STATUSFGCOLOR "#222222"
#define MODKEY Mod1Mask
#define MASTERW 60 /* percent */
#define KEYS \
static Key key[] = { \
/* modifier key function arguments */ \
{ MODKEY|ShiftMask, XK_Return, spawn, { .cmd = "exec xterm" } }, \
{ MODKEY, XK_Tab, focusnext, { 0 } }, \
{ MODKEY|ShiftMask, XK_Tab, focusprev, { 0 } }, \
{ MODKEY, XK_Return, zoom, { 0 } }, \
{ MODKEY, XK_m, togglemax, { 0 } }, \
{ MODKEY|ShiftMask, XK_1, tag, { .i = 0 } }, \
{ MODKEY|ShiftMask, XK_2, tag, { .i = 1 } }, \
{ MODKEY|ShiftMask, XK_3, tag, { .i = 2 } }, \
{ MODKEY|ShiftMask, XK_4, tag, { .i = 3 } }, \
{ MODKEY|ShiftMask, XK_5, tag, { .i = 4 } }, \
{ MODKEY|ControlMask|ShiftMask, XK_1, toggletag, { .i = 0 } }, \
{ MODKEY|ControlMask|ShiftMask, XK_2, toggletag, { .i = 1 } }, \
{ MODKEY|ControlMask|ShiftMask, XK_3, toggletag, { .i = 2 } }, \
{ MODKEY|ControlMask|ShiftMask, XK_4, toggletag, { .i = 3 } }, \
{ MODKEY|ControlMask|ShiftMask, XK_5, toggletag, { .i = 4 } }, \
{ MODKEY|ShiftMask, XK_c, killclient, { 0 } }, \
{ MODKEY, XK_space, togglemode, { 0 } }, \
{ MODKEY, XK_0, viewall, { 0 } }, \
{ MODKEY, XK_1, view, { .i = 0 } }, \
{ MODKEY, XK_2, view, { .i = 1 } }, \
{ MODKEY, XK_3, view, { .i = 2 } }, \
{ MODKEY, XK_4, view, { .i = 3 } }, \
{ MODKEY, XK_5, view, { .i = 4 } }, \
{ MODKEY|ControlMask, XK_1, toggleview, { .i = 0 } }, \
{ MODKEY|ControlMask, XK_2, toggleview, { .i = 1 } }, \
{ MODKEY|ControlMask, XK_3, toggleview, { .i = 2 } }, \
{ MODKEY|ControlMask, XK_4, toggleview, { .i = 3 } }, \
{ MODKEY|ControlMask, XK_5, toggleview, { .i = 4 } }, \
{ MODKEY|ShiftMask, XK_q, quit, { 0 } }, \
};
/* Query class:instance:title for regex matching info with following command:
* xprop | awk -F '"' '/^WM_CLASS/ { printf("%s:%s:",$4,$2) }; /^WM_NAME/ { printf("%s\n",$2) }' */
#define RULES \
static Rule rule[] = { \
/* class:instance:title regex tags regex isfloat */ \
{ "Firefox.*", "2", False }, \
{ "Gimp.*", NULL, True}, \
};