===: 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