c{0: 0 (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) -- nil
c{0: 1 (((0 space-address) (names init-counter)) <- ((next-input))) -- nil
c{0: 2 (((y integer) (space 1)) <- ((add)) ((y integer) (space 1)) ((1 literal))) -- nil
c{0: 3 (((y integer)) <- ((copy)) ((34 literal))) -- nil
c{0: 4 (((reply)) ((y integer) (space 1))) -- nil
c{1: 0 ✓ (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
c{1: 1 ✓ (((0 space-address) (names init-counter)) <- ((next-input)))
c{1: 2 ✓ (((y integer) (space 1)) <- ((add)) ((y integer) (space 1)) ((1 literal)))
c{1: 3 ✓ (((y integer)) <- ((copy)) ((34 literal)))
c{1: 4 ✓ (((reply)) ((y integer) (space 1)))
c{0: 0 (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal))) -- nil
c{0: 1 (((x integer)) <- ((copy)) ((23 literal))) -- nil
c{0: 2 (((y integer)) <- ((copy)) ((3 literal))) -- nil
c{0: 3 (((reply)) ((default-space space-address))) -- nil
c{1: 0 ✓ (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
c{1: 1 ✓ (((x integer)) <- ((copy)) ((23 literal)))
c{1: 2 ✓ (((y integer)) <- ((copy)) ((3 literal)))
c{1: 3 ✓ (((reply)) ((default-space space-address)))
c{0: 0 (((1 space-address) (names init-counter)) <- ((init-counter))) -- nil
c{0: 1 (((2 integer)) <- ((ipan>/+2