(selective-load "mu.arc" section-level)
(test-only-settings)
(add-code:readfile "trace.mu")
(ero "running tests in trace.arc.t (takes ~10 mins)")
(freeze function*)
(load-system-functions)

(reset2)
(new-trace "print-trace")
(run-code main
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (x:string-address <- new
"schedule: main
run: main 0: (((1 integer)) <- ((copy)) ((1 literal)))
run: main 0: 1 => ((1 integer))
mem: ((1 integer)): 1 <= 1
run: main 1: (((2 integer)) <- ((copy)) ((3 literal)))
run: main 1: 3 => ((2 integer))
mem: ((2 integer)): 2 <= 3
run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))
mem: ((1 integer)) => 1
mem: ((2 integer)) => 3
run: main 2: 4 => ((3 integer))
mem: ((3 integer)): 3 <= 4
schedule:  done with routine")
  (s:stream-address <- init-stream x:string-address)
  (traces:instruction-trace-address-array-address <- parse-traces s:stream-address)
  (screen:terminal-address <- init-fake-terminal 70:literal 15:literal)
  (browser-state:space-address <- browser-state traces:instruction-trace-address-array-address 30:literal/screen-height)
  (print-traces-collapsed browser-state:space-address screen:terminal-address)
  (1:string-address/raw <- get screen:terminal-address/deref data:offset)
)
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
;? (prn memory*.1)
(when (~screen-contains memory*.1 70
         (+ "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "+ main/ 2 : 4 => ((3 integer))                                        "))
  (prn "F - print-traces-collapsed works"))
;? (quit) ;? 1

(reset2)
(new-trace "print-trace-from-middle-of-screen")
(run-code main
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (x:string-address <- new
"schedule: main
run: main 0: (((1 integer)) <- ((copy)) ((1 literal)))
run: main 0: 1 => ((1 integer))
mem: ((1 integer)): 1 <= 1
run: main 1: (((2 integer)) <- ((copy)) ((3 literal)))
run: main 1: 3 => ((2 integer))
mem: ((2 integer)): 2 <= 3
run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))
mem: ((1 integer)) => 1
mem: ((2 integer)) => 3
run: main 2: 4 => ((3 integer))
mem: ((3 integer)): 3 <= 4
schedule:  done with routine")
  (s:stream-address <- init-stream x:string-address)
  (traces:instruction-trace-address-array-address <- parse-traces s:stream-address)
  (1:terminal-address/raw <- init-fake-terminal 70:literal 15:literal)
  ; position the cursor away from top of screen
  (cursor-down 1:terminal-address/raw)
  (cursor-down 1:terminal-address/raw)
  (browser-state:space-address <- browser-state traces:instruction-trace-address-array-address 30:literal/screen-height)
  (print-traces-collapsed browser-state:space-address 1:terminal-address/raw traces:instruction-trace-address-array-address)
  (2:string-address/raw <- get 1:terminal-address/raw/deref data:offset)
)
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.2 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "+ main/ 2 : 4 => ((3 integer))                                        "))
  (prn "F - print-traces-collapsed works anywhere on the screen"))
(run-code main2
  (print-character 1:terminal-address/raw ((#\* literal))))
(when (~screen-contains memory*.2 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "+ main/ 2 : 4 => ((3 integer))                                        "
            "*                                                                     "))
  (prn "F - print-traces-collapsed leaves cursor at next line"))

(reset2)
(new-trace "process-key-move-up-down")
(run-code main
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (x:string-address <- new
"schedule: main
run: main 0: (((1 integer)) <- ((copy)) ((1 literal)))
run: main 0: 1 => ((1 integer))
mem: ((1 integer)): 1 <= 1
run: main 1: (((2 integer)) <- ((copy)) ((3 literal)))
run: main 1: 3 => ((2 integer))
mem: ((2 integer)): 2 <= 3
run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))
mem: ((1 integer)) => 1
mem: ((2 integer)) => 3
run: main 2: 4 => ((3 integer))
mem: ((3 integer)): 3 <= 4
schedule:  done with routine")
  (s:stream-address <- init-stream x:string-address)
  (1:instruction-trace-address-array-address/raw <- parse-traces s:stream-address)
  (2:terminal-address/raw <- init-fake-terminal 70:literal 15:literal)
  ; position the cursor away from top of screen
  (cursor-down 2:terminal-address/raw)
  (cursor-down 2:terminal-address/raw)
  (3:space-address/raw <- browser-state 1:instruction-trace-address-array-address/raw 30:literal/screen-height)
  ; draw trace
  (print-traces-collapsed 3:space-address/raw/browser-state 2:terminal-address/raw 1:instruction-trace-address-array-address/raw)
  ; move cursor up
  ; we have no way yet to test special keys like up-arrow
  (s:string-address <- new "k")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  ; draw cursor
  (replace-character 2:terminal-address/raw ((#\* literal)))
  (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset)
)
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "* main/ 2 : 4 => ((3 integer))                                        "))
            ;^cursor
  (prn "F - process-key can move up the cursor"))
(run-code main2
  (default-space:space-address <- new space:literal 30:literal/capacity)
  ; reset previous cursor
  (replace-character 2:terminal-address/raw ((#\+ literal)))
  ; move cursor up 3 more lines
  (s:string-address <- new "kkk")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (replace-character 2:terminal-address/raw ((#\* literal)))
  )
; cursor is now at line 3
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "* main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            ;^cursor
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "+ main/ 2 : 4 => ((3 integer))                                        "))
  (prn "F - process-key can move up multiple times"))
; try to move cursor up thrice more
(run-code main3
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (replace-character 2:terminal-address/raw ((#\+ literal)))
  (s:string-address <- new "kkk")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (replace-character 2:terminal-address/raw ((#\* literal)))
  )
; cursor doesn't go beyond the first line printed
; stuff on screen before browser-state was initialized is inviolate
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "* main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            ;^cursor
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "+ main/ 2 : 4 => ((3 integer))                                        "))
  (prn "F - process-key doesn't move above bounds"))
; now move cursor down 4 times
(run-code main4
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (replace-character 2:terminal-address/raw ((#\+ literal)))
  (s:string-address <- new "jjjj")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (replace-character 2:terminal-address/raw ((#\* literal)))
  )
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "* main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            ;^cursor
            "+ main/ 2 : 4 => ((3 integer))                                        "))
  (prn "F - process-key can move down multiple times"))
; try to move cursor down 4 more times
(run-code main5
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (replace-character 2:terminal-address/raw ((#\+ literal)))
  (s:string-address <- new "jjjj")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (replace-character 2:terminal-address/raw ((#\* literal)))
  )
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "+ main/ 2 : 4 => ((3 integer))                                        "
            "*                                                                     "))
  (prn "F - process-key doesn't move below bounds"))

(reset2)
(new-trace "process-key-expand")
(run-code main
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (x:string-address <- new
"schedule: main
run: main 0: (((1 integer)) <- ((copy)) ((1 literal)))
run: main 0: 1 => ((1 integer))
mem: ((1 integer)): 1 <= 1
run: main 1: (((2 integer)) <- ((copy)) ((3 literal)))
run: main 1: 3 => ((2 integer))
mem: ((2 integer)): 2 <= 3
run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))
mem: ((1 integer)) => 1
mem: ((2 integer)) => 3
run: main 2: 4 => ((3 integer))
mem: ((3 integer)): 3 <= 4
schedule:  done with routine")
  (s:stream-address <- init-stream x:string-address)
  (1:instruction-trace-address-array-address/raw <- parse-traces s:stream-address)
  (2:terminal-address/raw <- init-fake-terminal 70:literal 15:literal)
  ; position the cursor away from top of screen
  (cursor-down 2:terminal-address/raw)
  (cursor-down 2:terminal-address/raw)
  (3:space-address/raw <- browser-state 1:instruction-trace-address-array-address/raw 30:literal/screen-height)
  ; draw trace
  (print-traces-collapsed 3:space-address/raw/browser-state 2:terminal-address/raw 1:instruction-trace-address-array-address/raw)
  (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset)
)
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "+ main/ 2 : 4 => ((3 integer))                                        "))
  (prn "F - process-key: before expand"))
(run-code main2
  (default-space:space-address <- new space:literal 30:literal/capacity)
  ; move cursor to final line and expand
  (s:string-address <- new "k\n")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
; final line is expanded
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "- main/ 2 : 4 => ((3 integer))                                        "
            "   mem : ((3 integer)): 3 <= 4                                        "
            "   schedule :  done with routine                                      "))
  (prn "F - process-key expands the trace index at cursor on <enter>"))
; and cursor should remain on the top-level line
(run-code main3
  (replace-character 2:terminal-address/raw ((#\* literal)))
  )
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "* main/ 2 : 4 => ((3 integer))                                        "
            ;^cursor
            "   mem : ((3 integer)): 3 <= 4                                        "
            "   schedule :  done with routine                                      "))
  (prn "F - process-key positions cursor at start of trace index after expanding"))

(reset2)
(new-trace "process-key-expand-nonlast")
(run-code main
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (x:string-address <- new
"schedule: main
run: main 0: (((1 integer)) <- ((copy)) ((1 literal)))
run: main 0: 1 => ((1 integer))
mem: ((1 integer)): 1 <= 1
run: main 1: (((2 integer)) <- ((copy)) ((3 literal)))
run: main 1: 3 => ((2 integer))
mem: ((2 integer)): 2 <= 3
run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))
mem: ((1 integer)) => 1
mem: ((2 integer)) => 3
run: main 2: 4 => ((3 integer))
mem: ((3 integer)): 3 <= 4
schedule:  done with routine")
  (s:stream-address <- init-stream x:string-address)
  (1:instruction-trace-address-array-address/raw <- parse-traces s:stream-address)
  (2:terminal-address/raw <- init-fake-terminal 70:literal 15:literal)
  ; position the cursor away from top of screen
  (cursor-down 2:terminal-address/raw)
  (cursor-down 2:terminal-address/raw)
  (3:space-address/raw <- browser-state 1:instruction-trace-address-array-address/raw 30:literal/screen-height)
  ; draw trace
  (print-traces-collapsed 3:space-address/raw/browser-state 2:terminal-address/raw 1:instruction-trace-address-array-address/raw)
  ; expand penultimate line
  (s:string-address <- new "kk\n")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset)
)
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "- main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "   mem : ((1 integer)) => 1                                           "
            "   mem : ((2 integer)) => 3                                           "
            "+ main/ 2 : 4 => ((3 integer))                                        "))
  (prn "F - process-key: expanding a line continues to print lines after it"))

(reset2)
(new-trace "process-key-expanded")
(run-code main
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (x:string-address <- new
"schedule: main
run: main 0: (((1 integer)) <- ((copy)) ((1 literal)))
run: main 0: 1 => ((1 integer))
mem: ((1 integer)): 1 <= 1
mem: ((1 integer)): 1 <= 1
run: main 1: (((2 integer)) <- ((copy)) ((3 literal)))
run: main 1: 3 => ((2 integer))
mem: ((2 integer)): 2 <= 3
run: main 2: (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))
mem: ((1 integer)) => 1
mem: ((2 integer)) => 3
run: main 2: 4 => ((3 integer))
mem: ((3 integer)): 3 <= 4
schedule:  done with routine")
  (s:stream-address <- init-stream x:string-address)
  (1:instruction-trace-address-array-address/raw <- parse-traces s:stream-address)
  (2:terminal-address/raw <- init-fake-terminal 70:literal 15:literal)
  ; position the cursor away from top of screen
  (cursor-down 2:terminal-address/raw)
  (cursor-down 2:terminal-address/raw)
  (3:space-address/raw <- browser-state 1:instruction-trace-address-array-address/raw 30:literal/screen-height)
  ; draw trace
  (print-traces-collapsed 3:space-address/raw/browser-state 2:terminal-address/raw 1:instruction-trace-address-array-address/raw)
  ; expand penultimate line, then move one line down and draw cursor
  (s:string-address <- new "kk\nj")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (replace-character 2:terminal-address/raw ((#\* literal)))
  (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset)
)
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
; cursor should be at next top-level 'run' line
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "- main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "   mem : ((1 integer)) => 1                                           "
            "   mem : ((2 integer)) => 3                                           "
            "* main/ 2 : 4 => ((3 integer))                                        "))
  (prn "F - process-key: navigation moves between top-level trace indices only"))
(run-code main2
  (default-space:space-address <- new space:literal 30:literal/capacity)
  ; reset previous cursor
  (replace-character 2:terminal-address/raw ((#\+ literal)))
  ; move cursor back up one line
  (s:string-address <- new "k")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  ; show cursor
  (replace-character 2:terminal-address/raw ((#\* literal)))
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
; cursor should be back at the top of the expanded line
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "* main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "   mem : ((1 integer)) => 1                                           "
            "   mem : ((2 integer)) => 3                                           "
            "+ main/ 2 : 4 => ((3 integer))                                        "))
  (prn "F - process-key: navigation moves between top-level indices only - 2"))
(run-code main3
  (default-space:space-address <- new space:literal 30:literal/capacity)
  ; reset previous cursor
  (replace-character 2:terminal-address/raw ((#\+ literal)))
  ; press enter
  (s:string-address <- new "\n")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
; expanded trace should now be collapsed
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "+ main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "+ main/ 2 : 4 => ((3 integer))                                        "
            "                                                                      "
            "                                                                      "))
  (prn "F - process-key: process-key collapses trace indices correctly after moving around"))
(run-code main4
  (default-space:space-address <- new space:literal 30:literal/capacity)
  ; move up a few lines, expand, then move down and expand again
  (s:string-address <- new "kkk\njjj\n")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
;?   (replace-character 2:terminal-address/raw ((#\* literal))) ;? 1
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
; first expand should have no effect
(when (~screen-contains memory*.4 70
         (+ "                                                                      "
            "                                                                      "
            "+ main/ 0 : (((1 integer)) <- ((copy)) ((1 literal)))                 "
            "+ main/ 0 : 1 => ((1 integer))                                        "
            "+ main/ 1 : (((2 integer)) <- ((copy)) ((3 literal)))                 "
            "+ main/ 1 : 3 => ((2 integer))                                        "
            "- main/ 2 : (((3 integer)) <- ((add)) ((1 integer)) ((2 integer)))    "
            "   mem : ((1 integer)) => 1                                           "
            "   mem : ((2 integer)) => 3                                           "
            "+ main/ 2 : 4 => ((3 integer))                                        "))
  (prn "F - process-key: process-key collapses the previously expanded trace index when expanding elsewhere"))

;; manage screen height

(reset2)
(new-trace "trace-paginate")
(run-code main
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (x:string-address <- new
"run: main 0: a b c
mem: 0 a
run: main 1: d e f
mem: 1 a
mem: 1 b
mem: 1 c
mem: 1 d
mem: 1 e
run: main 2: g hi
run: main 3: j
mem: 3 a
run: main 4: k
run: main 5: l
run: main 6: m
run: main 7: n")
  (s:stream-address <- init-stream x:string-address)
  (traces:instruction-trace-address-array-address <- parse-traces s:stream-address)
  (2:terminal-address/raw <- init-fake-terminal 17:literal 15:literal)
  (3:space-address/raw/browser-state <- browser-state traces:instruction-trace-address-array-address 3:literal/screen-height)
  (print-traces-collapsed 3:space-address/raw/browser-state 2:terminal-address/raw)
  (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset)
)
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
; screen shows a subset of collapsed trace lines
(when (~screen-contains memory*.4 17
         (+ "+ main/ 0 : a b c"
            "+ main/ 1 : d e f"
            "+ main/ 2 : g hi "))
  (prn "F - print-traces-collapsed can show just one 'page' of a larger trace"))

; expand top line
(run-code main2
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (s:string-address <- new "kkk\n")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
; screen shows just first trace line fully expanded
(when (~screen-contains memory*.4 17
         (+ "- main/ 0 : a b c"
            "   mem : 0 a     "
            "+ main/ 1 : d e f"
            "                 "))
  (prn "F - expanding doesn't print past end of page"))
(run-code main2-2
  (replace-character 2:terminal-address/raw ((#\* literal)))
  )
; screen shows part of the second trace line expanded
(when (~screen-contains memory*.4 17
         (+ "* main/ 0 : a b c"
            "   mem : 0 a     "
            "+ main/ 1 : d e f"
            "                 "))
  (prn "F - cursor at right place after expand"))

; expand line below without first collapsing previously expanded line
(run-code main3
  (default-space:space-address <- new space:literal 30:literal/capacity)
  ; reset previous cursor
  (replace-character 2:terminal-address/raw ((#\- literal)))
  (s:string-address <- new "j\n")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
; screen shows part of the second trace line expanded
(when (~screen-contains memory*.4 17
         (+ "+ main/ 0 : a b c"
            "- main/ 1 : d e f"
            "   mem : 1 a     "
            "                 "
            "                 "))
  (prn "F - expanding below expanded line respects screen/page height"))
(run-code main3-2
  (replace-character 2:terminal-address/raw ((#\* literal)))
  )
; screen shows part of the second trace line expanded
(when (~screen-contains memory*.4 17
         (+ "+ main/ 0 : a b c"
            "* main/ 1 : d e f"
            "   mem : 1 a     "
            "                 "
            "                 "))
  (prn "F - cursor at right place after expand below"))

; expand line *above* without first collapsing previously expanded line
(run-code main4
  (default-space:space-address <- new space:literal 30:literal/capacity)
  ; reset previous cursor
  (replace-character 2:terminal-address/raw ((#\- literal)))
  (s:string-address <- new "k\n")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
; screen again shows first trace line expanded
(when (~screen-contains memory*.4 17
         (+ "- main/ 0 : a b c"
            "   mem : 0 a     "
            "+ main/ 1 : d e f"
            "                 "))
  (prn "F - expanding above expanded line respects screen/page height"))
;? (quit) ;? 1

; collapse everything and hit page-down
; again, we can't yet check for special keys like 'page-down so we'll use
; upper-case J and K for moving a page down or up, respectively.
(run-code main5
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (s:string-address <- new "\nJ")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
; screen shows second page of traces
(when (~screen-contains memory*.4 17
         (+ "+ main/ 3 : j    "
            "+ main/ 4 : k    "
            "+ main/ 5 : l    "
            "                 "))
  (prn "F - 'page-down' skips to next page after this one"))
;? (quit) ;? 1

; move cursor down, then page-down
(run-code main6
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (s:string-address <- new "jJ")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
; page-down behaves the same regardless of where the cursor was
(when (~screen-contains memory*.4 17
         (+ "+ main/ 6 : m    "
            "+ main/ 7 : n    "
            "                 "))
  (prn "F - 'page-down' skips to same place regardless of cursor position"))

; try to page-down past end of trace
(run-code main7
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (s:string-address <- new "J")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
; no change
(when (~screen-contains memory*.4 17
         (+ "+ main/ 6 : m    "
            "+ main/ 7 : n    "
            "                 "))
  (prn "F - 'page-down' skips to same place regardless of cursor position"))

; now page-up
(run-code main8
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (s:string-address <- new "K")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:sp�r��������p"Fg��xP{�&���P�e|����K%�Y�b�r�E�E��ub��+ϸA25�oIE����Yq6��p��������g߯n{�������z���g��zX]��/������1�KX���'�Ehr�}_�6�w�ô��1?�Uu�cx)'&aW���q�y�縐_��}���n&Rr�9�H���iJ�β��t�{i����+,�x%{x%�msy�n�vG�ѱY���m�*K�5�n�	��������i7�@�l��su�W鈭�5sqעg�xz�Go
�F`�XZ���[�.�Tw��c^��512a�9x9V��^'/C+�R��7#��������W��ch=Z��Х���p
�%Y�g
O#3��ލ�{5��f
g����樻�Y^��u�6֐1憗�N�F����Y��y��i�χGoV������c�d�Ɓw��zX��/�����3bf��$N���w�Ƹ����aʉ��
Z�����	�:Xt�	}Cw*Ȣ�����9����[8v�nl�7�|�[Q_�]I_�^�˧��ɀMɜt�*'���\��ψ���I$No�wB�w�9�W�|���ɩ"	�C(�U�}j�R�f
ݍ��u�.%ojl n��Dl4!<_�4���KҞ�_+��b�Od����"������wC��o�\H�.��A���e5�c��K��e%��XM����\��E���M)��X�5Giz�Z�����qH�Z6��D擥1���$"cm�wBe�����,Kdҋ����<ƺU�7}L��V�0�/Rn�)�qʦ(�xf�P3�U�g�.%xf�n�S��FR�4!J�_��r�T�T	�
֔Q��!B���	
�B��S��ڠ`����/�#�
[��4�V)�*G@#�6��)�=�X�ި=�����<�Y:z�a���tگDyz������)� <�Vt���\M���^>y|�r���c��hD
���~׃L������sB)�7�*��%ЊU̢�,�\�l��=�Vt����������g�ׯ^��������������t���o������m~N �
q@��
g��<��1&i|��w�����Ꙕt���Y��EH���4}@��󌂵��d�x\�{���~U��5>�2
ҵ��L�!0��!>6��qf�t���g���t�Ap8>��n��!�=��<��m�=�Z�F�iV�eO*|5(����v��
�t��}���
�P�>�U����LI���6�R�#�"��^c���Q'���}�W��~.�U��u�~�"��%���P�:M�U1�F�ަ��_���z�Ǧs��J����\W��p-�\w�]v2˧��$�P���i�~�GU�>����|��*�'I:�'ɰ�ﻪ2K��z�ԡ�T���8o$RhE�J%
o`J!�s�je�����o�P�l���r������	$��wd{M���4�7R;�<�Wwv'?��.�_��@D��JC�0��MBՋq)����:	���?	u��CT��"�RU�$�V`b��[���I�7�������Д��^�dpy����2n`qԊq�+�n|c�뤵�6����ٚ0���A�*�r}s옝l���R��W._�	�`ۢ�~0Z�|�����m�R��p��sL�Tl�/I�>���/��d
AS��T{p0�ꛅD�PtÁ4$h�C��I�`OTMZ:���3�%��P��Tg����\�_3�����'͔��k���^w���w���~��~�?���?p���W_j<�Ћ�+l�RxW�=��"���%����t>��v�u�AR���ol����e�uG�U2:c�u2F��?���v�5¡��F��z��5�E�`�KzM�͵���l���8!s�W��n�� ae',,�zMʜ�;��z��<��l0�^Qo|�x[��F��)�R�_�Ll�tZ�tVOc������X�>-K�+fb�~v�َ�����m*L��.��?��@��x��`Al1�m�$��<6|��IHS��zxgg����{Z�u�hԛ�M���{�]:����Qr1
8�#����>�[�c��#�9ê��;����ɡ�&���.�d�	�v�+9/��B�I�-0[���{���������n']aX�?���p�'��꽵����]���6|�%֗��{�D��c�|ٳ?P��o��s}���1����u��2��w��:���p 
\��A��V_��y������sWZ!�/���Q+�Pi�Q�°��~���X&��!=�A�2�9���5���	@+2@?kZd�FC��&�F7�5f�;~L@+d#��L�+
S����9��>�	;�8B��^�X�=~�.���)e"�բ��ު���^l�=���d�;Mw�So���O5�Zi�(�k>V�W�������ְv�8F&����m�ln�:6�F��n���oFc�ϟ�Y9�e>!0��しb���Wf�+�����왽5rz����ٸf
�Z>F�_��e�>�]�	�6b��O]f�#0��E��!�v_������2�۰��O�?���N��I:����w���0��������
O�P�E�J����U����t��DB��"�-cP�u��q���}�%����D
$(�>��Ɓ��)�D`�����>�0��֝nSW6�FA�A׺����e$����)�"[��J�"��d\��9��b
rdi��@��jd��t	�
�^����1��Cn����#��F4֢']���&�U9��l=����
L�V8��qG���D��QM�.`}!�g��T�j߻{�/վ�w�v��1�E�
����Cy?���~���(,��<�W��w�w8��������	��2w�
_|o�0�Y�ݿ�~o-L�8�m)FI��c~�ô���a�>I>�w�]��YF��Qx��Yh��4_.O㡋�|My��KҭbI���eѝ#~g*`���I�]閳+�rv����&������up�F����"�z�+s kY�υD�&��/��=�,I?<~�*��[�R���t��)��^���^���#
�"�r�$J���v���|���"���I�]|VD;D���T
���R�K�7᝗���I��s��9�H\�+'Ru(�����f�%U��%-˝9����X:��X!���\����k"�hf5���)���^��V��ԇ�}Szg�_$�w �Y��3|H2���"�|�5���"*o݇剼��%h���"���Rx{FV����U�|l�
��q��]1Ư^�G#���|���ˊ������j�_�~	X~��?���
�`��؀8���"�'�
(�2��E��ߎ�%���I�װ��·�K�����('��j+(��
�:J�`���p�Z��b]̌�`/�M����z9o�_�8T��1_��O������������q1u��s
޲�0{ma�9�VC�R��g�P��P�4�^Jg�;+2//�}U��<�&jʘ@��aF`E_��7�A[�\��5V��{��']�μ���P��a�4�j%��0B�C^���up�P���F��!�a��(��ݰ��(�@�w�����Q{�(zڲ?m���GD��}|��⿛���?IG�u���
��ܽ��k������o-�S
*���,��,
�p8(C��|�d��Y�C��v�<��0��%�v�M�#��y,O���?�_:�I��'� T���
����a���*�@��	�{%�ʻA�{AkΝ2��-�j�+�|*w��Tv�l*��^���&�5��7�SܨN�R���M��`ܦ�gr��Y�����3C�˦W��9fg�{�p�:>t�:x��t>
\>�?�2g�x=����#l';��\цي���T��j�������(`���6s��uV0����J�L~��vz]Y_��:-��Ek����Ic�p�j��m�_M�&�"9�h��_��_���@��`[��SJ��q���R��p:�/��]>�/�ݙ�pv����͞�b����=Ʌ�˧B5��^�a�}�9M����G|��a1��<��=:4Jg>�&��$���#�>�WT ǽ鯅u��>�!<���F&z�e�6���_�*����f�+L�����̵�_:����0M�jYz��x�����#����&�3>�/�A���b���6�O�Ī���#$4� �+��F�޶�K�G �ȵ�9`��N7���Er��(S��`vj0ͱ�+��v;r����L���8�H�>�֗f@�β��N���Ls8�iA���L�b4<=�a���?����gx�x������n���]�����\��HFC�����{�4�����dڃn�8>�����*�Az��~��fP˹o�Ʌ��v�P�!��G Y6���l�|�pΡÒ�����i�W�N�?ykno�@���n��9�`fFm~����9���OAJ<��q֝;J�k�Q~���
�F(��<�5�3�b���7���}bd��
�@���z������᫗����ց���������uX���%c���z���)Y�J�y���>���5�@عv�Oa���*�{=,J�qq���2���TP���F��l�m3�_�����[�[�pj� j!����o�GMP)%r�ZtH-N�<�\dN�M���`l�J�{	�I���

���O�a2
�t�vɘ��
��	&�(;_�r��]U�s� C�9g�ن�d�Q��R���L;��I��.��t��
�3�xJ|@?0����(S�� !-=�C��L@N�H$i�[�E(�A'��7H�E�mv�7G��|��QI��u���q_֬GXVcoi�-�ç��ln�h�_��SWk���+�<Q��U�NT��`��+f#�SJ���]����Fx�I�h��;&$�����e�uJ�*9��ײ)H���zT��P�}	3­�����A����Y>/��Y6��`g'M��>�>���
�A��Sv7Kڭ���xK߰�	n�Y �c\d^��-�F�/WK�J�t�A�W�KK~�f��NZ�Ž
��^Y�A����P�m՛�,�G�QlX���TgA�J	�dev��h@�=GW�;E�xBv�KB$@3��3���Ù��^0G�|>�Tn쭩tW�:���He��朄�]T���wlhkl�Ǯ:���ʕ�GZ��3J.a~-z�W�͒�4_����3h�A��D���f4��B���b��H�5�uH��| *Ͽ9�|��l8ʒͨl�H�s�R`��o�{���#z��BN+�R�lK�~�]��8�\�;)��P�kB���j��Zd�����ѝ|��j�J�W� O�bս;q{�j�<;F��#����`H�ժ"�=��@�!vE�p3�=�*O?�{s�����s�(Ul!d���ğ��7��_\�Wsy���/9g���)K�c9�ɬ��h��V/se!�US-���#?����%��i��Y-,�IK[[Z�Y,�|P���՟f��aSLX=W��w����?v���Z��C������;.���$���̪���Izr��c�5�U�����I�OZ(fl��[���!��A� ����6�Q��J��H���d�
WثZ�b�+]Xz��u-���i�e��P"YP�
�>>R�Hd'~������ͨ�5�O}�<���3����d1���5���w�=[�s�,���;��_��$B�lb��Z�c��I:�/]��˳�1��Gid��|��g?�����gO��<Z9��{�1Ǹ;
좪#|��i����n�k�N��V��S���Ӎso� t� ������9���O�w��m�]�
�����h?]XG��#���o�jT�Ќ�~bX�K�)'��l,@����'�„��ɩ�� ���d8;@���]�����"�*�(X�IXh:C�:OfX^���$
,G�@~S��n�w�`����N��$U�4��(#�u�f�h6�9��'y6=yQ�����T`�tV��U,D�_�J �wU�n 6�g}�W���v�#�ŋaA�g�³�I�CNn,<!����QZл7!юv������م��ܵs�t���Lf4ק�'�[����8vAo��v�+桊<)�wVP�V�E�X�d<M㬲7��P(t��r�++<LƂb>Z�M�+���������������?�|�h��rP}��+�߻��BOo͒��ػ�C��K��`�'���-��b8�;����a��[R5��F�?�t1��&�
���[��%n�?���Q�F�Q���S�8��]_����\]v ���ǯ�����S��X��zQ�x�i�e����l�.�#�E3Y6l}��C����@|��Fa?iٌ8��i:���ep^\����)}l���/-(��H�z!�o��	}F8�@mʄ�J��P��4���9p��������W^��y$�}�T�%;"�|_��R���Q�aõ�;Md9����1"Cc7��6'����w��쑯
��y{ʲM0\ɜ��_���"���ފ�Z�&Ē935h���b�r�
�Bč�W
tH��p=ߥ�y�!�˚`��
!��=����s���t�^�;,���������b��쟜
j?���M}D�,%��y�t\c,eJ�����m-$�����Gx���W����F�����w�Ï�^����|�LO���$��41kB��Y�…�Y_|
O��6X��������M��� �9_��a����k`�۹{�����q�������c�)�|���Z��w�3��|kr=�,b���4��w�ah�[)y��eKk7�������LN>���ʙ~�XH����e`ذՊ�Uq5��W�	���Б
=9�������‚�
h��i�v�&���C6�ϳ~r|T}Bj�?�k��b��&�3��@�c#�8e|,W81w����8<��&���Ͱd������0D�St_���\�Q�Nҟ��R���1���Yʭ��N����c񗔜5,ƱO0��OUh;w�q�.!�l��_���_inБ�tF�VR��pKAR
�P�_�*��\?�}�D�H<�Mn� ��˺e;�+���LpȲ/�	����;O�P@'Z@*ہ���!G
X2

�c�Z>��~���a.H>c�e��-`���Sxa{�Q��᫯�
���mmm�( ����0#P�c�ͦQ��N�w[z������$lxf7z���p�}%谍ژw[ߢ��-&�Cj�fl;���9��;���$ģ�Y�Q[�MA6!˻�ښ�vN(��UCX�J�]J�%���������K�=��?sE����<�1��p�袀A�ꨕ7�Mtʊ���Ƿ�T�c1:C
T��ݣ
;O�s�]�P�Ptx|������g���Slm�s��LfN�ޝffB�?�WKJ+��В�7F�iY�X�Bg�I�sˣ�8?nX�ɻ"�L�&���c'J��Ӄ1m�{��<)��D����k�ڝ@�����}��3=���b�Q?���ʝh����;^���*b���W�W��
��Y��n%�s�s_it������w��e��;�bL�
�i%��,���Tes$O]�r�:�*75kw�V��W�\>�9EkůJ�D.����<-2Y�Q���v	z�X������ӯnb�̠q��)CR5���\c�L�j��҇E3���Ƨ��E��в��f�`e�NM�K���ֈ��/E�+�o� �(+�a9むP�)`��������ãÿ>�~����go|������V��f�(Ŗ��7գ�w�'9b�+@?ܙ���O���;
�KZ�a�����ɋyr����wJ�?5]�e�~�8�y��Ѓ��H�c,���EN�����N��p�2L���LR�V����Tox���׀f�wXP�B���{��"��i���`O�ma�3�
���''0�x��/l�! ��3IJ#o�m���"�r�R\�[��r�b�8`*³��AÌ����Ѣ��"=����G��W���p���?�՗�!�� �f�����ܟ&�)���^R�ȹ��aڭ�#�M~w0�n���L`*+� �z���C��c�^5\��-A2�(�d����.�n�����\��I/�9U���h��v.��4��1�M>��Nptv2`�,@S�E_�8[�n���H��T
��N[�
����I�=5o9\����/�O3����FU|�����ݝ�{;A�����~�?H�c�#�|���&�Q~��'8�w�/"Cއuɓ۷1c� ������������� ���P��a�ƴ__�A*	
����vͣ׏�<[լ�f�NB�5uj�N�˘${���hY-R +8�24Ο�S7^)d��͸v7EX���=��%:�t	�d����k�Y��6�u*6~��fC���*/MY�&�-���Q<5���bo�����6V/�s[�0q��� 
_€�j����FB���#+MbhvU�gk�����
f��Z<�IU�,³�1�&yz�k�u�9z��UQ'���P'
�uR��3X#-�/;+ߗwWv
��d�Q�X��Ec6�G��	k��0�>%+�1s�0�@���C��?�Ѣ�D�v�w�ה|�n 8j��ɕlb7��A\�D��%J��T�v�~M�#1��D���a:��[X`����0���'��Թ�}seC��ݢ�<�O�p��Y���ׯ^�[u6�g[��
�a
�sX]ׂ?��b���������B�.��#_�u=(���N?�,���������Z���9�����y�x���zw�hȨW��Cr��p[����۔�e
�\�6�)]K�6O�s�܌$�|scC��
��O���V>�'ϟ=~��"�LsD�Ѝ��껞C
߉�B0Xh�8s<M����}�&0���@��Ȧ�z`�G�
Xl�u?�)7a(��'���,E���Us�
���r,�pU̲��������ѯ�1
�}�y���^�
�5T�TZ
�ZS��,J|�B^J���n���q��- a��U��}N��m�*�m8�3L���x�Iw���ߊ�g��xGVb�ϸe��ں�4�h��Nui����;�Nߟ���g��(
o�?m�ֹ!p���ΜO��l�R{�P�-{㾁+:~;
�C�f0�g+��g?\�`�b�(8Xc���փO�H� ���'v�xs���ꄎp=9�9��nד9@V�2#k�
X5]@��y	��oF���s��8�f�G^b7k�!�G9��K�l�R"��׼}�#͆[��^qf�w��AËg/^���z����<�^i���^N.�k��
��/6��>'�5DQ%p���M��aa"8�/3��g��*��+S
����c����ದt~b�
��99Kǧ��9���h*�Y� �ǔ����{��/>�_��;�ʶo��|"u��C�77`U(�5�30��w��;C5��g=wBt�J��k�a�F]1`��%�Qh�tH!q1�Sd�NP�L��E6��h�E����P�ɧ�5�߹$��%��Xv1U-E�>kxϾ�j�{6�s�g0T�{}�s��@�@���,>�?���v��U6m�T��sg�A��ӽ������
�P�u�E"��l0�,�@H3~vD��#(�x���������W�K��'�Z�e�'�}�����K��Ϗ�h�}�N���x7]9��>a6j�Kdw�}0����"S��s��3l�4�~�Y&O^�<z|���냰ɘ+��""
D-nS̑�T�	 ��n7�ye���o:F�$��'x:�G�ۛb&�S��qpמ_4�,֘r�"��4�@NN)���NoK�uVpp
�(��K4�+����@��n�'	3��\ L�Dv���`��i���\|�ƒ�d���ΓYJ���a�"�U��|\�*�������!�<�&Œ.o�xE�P�N��|r�;��fC��=�b�O�1P��
{~l��6�
%��sczI?�2�g�+���)0������>�>p��L���Y��m38z(+����
�'Vy��1���mGiT:�$6�O�M!(MpL�}ฬإ�%�u�_�ْ|�"B�>p��B#��o�
�%/�1"R���j�-�vR,o^�����b����rP�
U��1\׬�ӧ�SC��p7|�%QF�o��{�6@�$�����w3�<���f�������Ѽo]�"ˡ?��h+��V��2��L�l
(1�SQ�t��y��s��CP�$7P:�~��|�n��\��	���cH��E������?��p���tZ��"�:u������L�AM��v?5�<�����D;!�l£��s$�cl
⃪[�٧��m�"�I��*�+��P�zA,1�p��A{���,6܎5Z��2#_��_ms�D�'Y�k��l!��� M�k8&J�y]3!G=҉)��S��J��Y�Vb+š6
�� &�0�+��i�)U���"�R������x����EJq���'�`�99�j��_LQ�i�`	K]l���AX.�ER4 ��,"�m��*6e�`���͕#B�������-�4ZF�V�
�G���}�N�/Б	LY2[XMm��j���mq8+�M�'Ҥuo�e���O?i�A�
a)9�%�J	���N�p=��ZfW��H���C��e��$a�x#�x�xe��K��������lek(,�b����Ա��6��х���^C%(?�=�ˋ��j�郎�x�w�����
2Z�i����
U�xeS�%�"sXv���Ю-$����
q��2���A�,��It��[��ݥ�.Z�7ncCC��L�	���{ڋ^�N�wu
2;�	w!�ILYq��Q�Ve���MP��c�����'7���xd��8܄��MZn7+���ZM$>@ss��ޥw�}�w��M�੺ǚ�j�#��0��%QDt��j�e��VAG[QX�����S�K�X�ʊ��-�?���pL�����۱�T��z����LZzR���O/Z1 ���+�8�6ϲ���y�	dM�Lh���$��$���aP���i��*�����<�e�br��k��T�3W�BaIDW����d�����N	�P�&N񲾞�Yх�
���5Q��m��d�_]
��s���ݩ���e=vk-\�
�E�|"�
mЬ�`��V'�-�m����0����L�HMOd3�x�$c^ȁI!�]�Dk��X���2;�l�8�wNR�kD�ˢBZ��5n�ګ�����zx#�Bvj�ט\XZ܈֊Ac�r��8��E��F���
.���ǚ��r�>3�w���/�y=���<u�i�Z��]�	8o����
�
rGmbͅ�#:,�q{���^�֦���m+ٲѷ�}U���L@Å�
8��z����AK���Dt�ζ�*�~D���	Iw>�#�(�%[aW�{ٵ��ؙ��K���mĮ��)�t*@�n ��^ê�Z�
mOת�*�?���q/��V����.��p�{}�����-���r����޳��ME�UP=�+/2)u}��#8eyc1Yx]̑�B�X\t�7T:�M��q~�[1ʪ��r0�������%\��k�ؚ`cgE�d>�*��/K.َ��n�>����t�,Be{7�*k�4����O+km��
�Tk]�hm��A�s��{]k��B����%P|:Y�ߵN����Ik(e�c���|p��
�OBi˹k}it�M
�%�|�%
Z�\�[�{���OQ{�T�P�V0�9
��VE�i��^�v�[ͺ��һ����秨�es��:Z�][C��8�6�\<K�2�8C�e:��`"���`x;W~�SV�$U�f@���(Z���NU�h���(�g�pu���+ש��������'�w���\u_��]�Dy�>yj�|2�w���� �•A�F���7�	ف�m����x0��=�d�9��������3�l����=��l%��I��)�,A�0)��1}U��ݶU�p��m��z/e[�aǴ	B��%�ShM�rji�p����AF�J���6�Ů�!�g�˼w�D��vA).=傣Wj@6d@�Ȕ-Q�p�h�R�R	lp8�*��(X
�f��:�΄�Sn���K)�{��H&����KHS�q��&�*�2\�'a�>����]Y�S��Jeh*�{�Na���{����'ݝ��%)�����zov6���ļ��n;���$�q8�\"�HF+��tL�2kt>�G�13��8���
"��6�]������,������)��!T��u�d��̒+@����s�
�ǯs/��",���2�d����ž$즮�RQg�6zF�$;J�l9 4: k
; + run: main 5: l
; + run: main 6: m
; + run: main 7: n
(run-code main17
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (first-index-on-page:integer/space:1 <- copy 1:literal)
  (first-subindex-on-page:integer/space:1 <- copy 1:literal)
  (last-index-on-page:integer/space:1 <- copy 1:literal)
  (last-subindex-on-page:integer/space:1 <- copy 3:literal)
  (expanded-index:integer/space:1 <- copy 1:literal)
  (expanded-children:integer/space:1 <- copy 5:literal)
  (s:string-address <- new "K")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
         (+ "+ main/ 0 : a b c"
            "- main/ 1 : d e f"
            "   mem : 1 a     "
            "                 "
            "                 "))
  (prn "F - page-up 6"))

; page-up scenario 7
; + run: main 0: a b c
;   mem: 0 a
; + run: main 1: d e f  <- top of page
;   mem: 1 a
;   mem: 1 b
;   mem: 1 c
;   mem: 1 d
;   mem: 1 e
; + run: main 2: g hi
; - run: main 3: j      <- bottom of page
;   mem: 3 a
; + run: main 4: k
; + run: main 5: l
; + run: main 6: m
; + run: main 7: n
(run-code main18
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (first-index-on-page:integer/space:1 <- copy 1:literal)
  (first-subindex-on-page:integer/space:1 <- copy -2:literal)
  (last-index-on-page:integer/space:1 <- copy 3:literal)
  (last-subindex-on-page:integer/space:1 <- copy -1:literal)
  (expanded-index:integer/space:1 <- copy 3:literal)
  (expanded-children:integer/space:1 <- copy 1:literal)
  (s:string-address <- new "K")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
         (+ "+ main/ 0 : a b c"
            "+ main/ 1 : d e f"
            "+ main/ 2 : g hi "
            "                 "))
  (prn "F - page-up 7 - expanded index starts below bottom"))
;? (quit) ;? 1

; page-up scenario 8
; + run: main 0: a b c
;   mem: 0 a
; + run: main 1: d e f  <- top of page
;   mem: 1 a
;   mem: 1 b
;   mem: 1 c
;   mem: 1 d
;   mem: 1 e
; + run: main 2: g hi
; + run: main 3: j      <- bottom of page
;   mem: 3 a
; - run: main 4: k
; + run: main 5: l
; + run: main 6: m
; + run: main 7: n
(run-code main19
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (first-index-on-page:integer/space:1 <- copy 1:literal)
  (first-subindex-on-page:integer/space:1 <- copy -2:literal)
  (last-index-on-page:integer/space:1 <- copy 3:literal)
  (last-subindex-on-page:integer/space:1 <- copy -1:literal)
  (expanded-index:integer/space:1 <- copy 4:literal)
  (expanded-children:integer/space:1 <- copy 0:literal)
  (s:string-address <- new "K")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
         (+ "+ main/ 0 : a b c"
            "+ main/ 1 : d e f"
            "+ main/ 2 : g hi "
            "                 "))
  (prn "F - page-up 8 - expanded index starts below top - 2"))

; page-up scenario 9
; - run: main 0: a b c
;   mem: 0 a
; + run: main 1: d e f
;   mem: 1 a
;   mem: 1 b
;   mem: 1 c
;   mem: 1 d
;   mem: 1 e
; + run: main 2: g hi
; + run: main 3: j      <- top of page
;   mem: 3 a
; + run: main 4: k
; + run: main 5: l      <- bottom of page
; + run: main 6: m
; + run: main 7: n
(run-code main20
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (first-index-on-page:integer/space:1 <- copy 3:literal)
  (first-subindex-on-page:integer/space:1 <- copy -2:literal)
  (last-index-on-page:integer/space:1 <- copy 5:literal)
  (last-subindex-on-page:integer/space:1 <- copy -2:literal)
  (expanded-index:integer/space:1 <- copy 0:literal)
  (expanded-children:integer/space:1 <- copy 1:literal)
  (s:string-address <- new "K")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
         (+ "   mem : 0 a     "
            "+ main/ 1 : d e f"
            "+ main/ 2 : g hi "
            "                 "))
  (prn "F - page-up 9 - expanded index overlaps target page"))

; page-up scenario 10
; - run: main 0: a b c
;   mem: 0 a
; + run: main 1: d e f
;   mem: 1 a
;   mem: 1 b
;   mem: 1 c
;   mem: 1 d
;   mem: 1 e
; + run: main 2: g hi   <- top of page
; + run: main 3: j
;   mem: 3 a
; + run: main 4: k      <- bottom of page
; + run: main 5: l
; + run: main 6: m
; + run: main 7: n
(run-code main21pre
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (first-index-on-page:integer/space:1 <- copy 2:literal)
  (first-subindex-on-page:integer/space:1 <- copy -2:literal)
  (last-index-on-page:integer/space:1 <- copy 4:literal)
  (last-subindex-on-page:integer/space:1 <- copy -2:literal)
  (expanded-index:integer/space:1 <- copy 0:literal)
  (expanded-children:integer/space:1 <- copy 1:literal)
  (to-top 0:space-address/browser-state 2:terminal-address/raw)
;?   ($start-tracing) ;? 2
  (print-page 0:space-address/browser-state 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
         (+ "+ main/ 2 : g hi "
            "+ main/ 3 : j    "
            "+ main/ 4 : k    "
            "                 "
            "                 "))
  (prn "F - page-up 10: initial print-page state"))
;? (quit) ;? 1
(run-code main21
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (first-index-on-page:integer/space:1 <- copy 2:literal)
  (first-subindex-on-page:integer/space:1 <- copy -2:literal)
  (last-index-on-page:integer/space:1 <- copy 4:literal)
  (last-subindex-on-page:integer/space:1 <- copy -2:literal)
  (expanded-index:integer/space:1 <- copy 0:literal)
  (expanded-children:integer/space:1 <- copy 1:literal)
  (s:string-address <- new "K")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
         (+ "- main/ 0 : a b c"
            "   mem : 0 a     "
            "+ main/ 1 : d e f"
            "                 "
            "                 "))
  (prn "F - page-up 10 - expanded index overlaps target page - 2"))
;? (quit) ;? 2

(reset2)
(new-trace "trace-paginate2")
; page-up scenario 11
; + run: main 0: a b c
;   mem: 0 a
; + run: main 1: d e f
; - run: main 2: g hi
;   mem: 2 a
; + run: main 3: j      <- top of page
;   mem: 3 a
; + run: main 4: k
; + run: main 5: l      <- bottom of page
; + run: main 6: m
; + run: main 7: n
(run-code main22
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (x:string-address <- new
"run: main 0: a b c
mem: 0 a
run: main 1: d e f
run: main 2: g hi
mem: 2 a
run: main 3: j
mem: 3 a
run: main 4: k
run: main 5: l
run: main 6: m
run: main 7: n")
  (s:stream-address <- init-stream x:string-address)
  (traces:instruction-trace-address-array-address <- parse-traces s:stream-address)
  (2:terminal-address/raw <- init-fake-terminal 17:literal 15:literal)
  (3:space-address/raw/browser-state <- browser-state traces:instruction-trace-address-array-address 3:literal/screen-height)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset)
  (first-index-on-page:integer/space:1 <- copy 3:literal)
  (first-subindex-on-page:integer/space:1 <- copy -2:literal)
  (last-index-on-page:integer/space:1 <- copy 5:literal)
  (last-subindex-on-page:integer/space:1 <- copy -2:literal)
  (expanded-index:integer/space:1 <- copy 2:literal)
  (expanded-children:integer/space:1 <- copy 1:literal)
  (s:string-address <- new "K")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
         (+ "+ main/ 1 : d e f"
            "- main/ 2 : g hi "
            "   mem : 2 a     "
            "                 "
            "                 "))
  (prn "F - page-up 11 - expanded index overlaps target page - 3"))

; page-up scenario 12
; + run: main 0: a b c
;   mem: 0 a
; + run: main 1: d e f
; - run: main 2: g hi
;   mem: 2 a
; + run: main 3: j
;   mem: 3 a
; + run: main 4: k      <- top of page
; + run: main 5: l
; + run: main 6: m      <- bottom of page
; + run: main 7: n
(run-code main23
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (first-index-on-page:integer/space:1 <- copy 4:literal)
  (first-subindex-on-page:integer/space:1 <- copy -2:literal)
  (last-index-on-page:integer/space:1 <- copy 6:literal)
  (last-subindex-on-page:integer/space:1 <- copy -2:literal)
  (expanded-index:integer/space:1 <- copy 2:literal)
  (expanded-children:integer/space:1 <- copy 1:literal)
  (s:string-address <- new "K")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
         (+ "- main/ 2 : g hi "
            "   mem : 2 a     "
            "+ main/ 3 : j    "
            "                 "))
  (prn "F - page-up 12 - expanded index overlaps target page - 4"))

; page-up scenario 13
; + run: main 0: a b c
;   mem: 0 a
; + run: main 1: d e f
; - run: main 2: g hi
;   mem: 2 a
; + run: main 3: j
;   mem: 3 a
; + run: main 4: k
; + run: main 5: l
; + run: main 6: m      <- top of page
; + run: main 7: n      <- bottom of page
(run-code main24
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (first-index-on-page:integer/space:1 <- copy 6:literal)
  (first-subindex-on-page:integer/space:1 <- copy -2:literal)
  (last-index-on-page:integer/space:1 <- copy 7:literal)
  (last-subindex-on-page:integer/space:1 <- copy -2:literal)
  (expanded-index:integer/space:1 <- copy 2:literal)
  (expanded-children:integer/space:1 <- copy 1:literal)
  (s:string-address <- new "K")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
         (+ "+ main/ 3 : j    "
            "+ main/ 4 : k    "
            "+ main/ 5 : l    "
            "                 "))
  (prn "F - page-up 13 - expanded index far above target page"))

(run-code main25
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (s:string-address <- new "kk\n")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
         (+ "+ main/ 3 : j    "
            "- main/ 4 : k    "
            "+ main/ 5 : l    "
            "                 "))
  (prn "F - process-key expands a trace index on any page"))
(run-code main26
  (replace-character 2:terminal-address/raw ((#\* literal)))
)
(when (~screen-contains memory*.4 17
         (+ "+ main/ 3 : j    "
            "* main/ 4 : k    "
            "+ main/ 5 : l    "
            "                 "))
  (prn "F - process-key resets the cursor after expand"))
;? (quit) ;? 1

(run-code main27
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  ; reset previous cursor
  (replace-character 2:terminal-address/raw ((#\- literal)))
  (s:string-address <- new "j\n")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
         (+ "+ main/ 3 : j    "
            "+ main/ 4 : k    "
            "- main/ 5 : l    "
            "                 "))
  (prn "F - process-key expands a trace index on any page when there's an expanded trace index above it on the same page"))

; expand scenario
; + run: main 0: a b c
;   mem: 0 a
; + run: main 1: d e f
; - run: main 2: g hi
;   mem: 2 a              <- top of page
; + run: main 3: j
;   mem: 3 a
; + run: main 4: k        <- bottom of page
; + run: main 5: l
; + run: main 6: m
; + run: main 7: n
(run-code main28
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (first-index-on-page:integer/space:1 <- copy 2:literal)
  (first-subindex-on-page:integer/space:1 <- copy 0:literal)
  (last-index-on-page:integer/space:1 <- copy 4:literal)
  (last-subindex-on-page:integer/space:1 <- copy -2:literal)
  (expanded-index:integer/space:1 <- copy 2:literal)
  (expanded-children:integer/space:1 <- copy 1:literal)
  (to-top 0:space-address/browser-state 2:terminal-address/raw)
  (print-page 0:space-address/browser-state 2:terminal-address/raw)
  (s:string-address <- new "kk\n")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
;?   (replace-character 2:terminal-address/raw ((#\* literal))) ;? 2
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
;?          (+ "   mem : 2 a     "  ; after print-page
;?             "+ main/ 3 : j    "
;?             "+ main/ 4 : k    "
;?             "                 "))
         (+ "+ main/ 2 : g hi "
            "- main/ 3 : j    "
            "   mem : 3 a     "
            "                 "))
;?          (+ "- main/ 3 : j    "  ; alternative interpretation in case the above isn't intuitive
;?             "   mem : 3 a     "
;?          (+ "- main/ 4 : k    "
;?             "                 "))
  (prn "F - process-key expands trace index on a page that starts with a partial expanded trace"))

(reset2)
(new-trace "trace-paginate3")
; expand scenario
; + run: main 0: a b c
;   mem: 0 a
; + run: main 1: d e f
;   mem: 1 a
;   mem: 1 b              <- top of page
;   mem: 1 c
; + run: main 2: g hi     <- bottom of page
;   mem: 2 a
; + run: main 3: j
; + run: main 4: k
; + run: main 5: l
(run-code main29
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (x:string-address <- new
"run: main 0: a b c
mem: 0 a
run: main 1: d e f
mem: 1 a
mem: 1 b
mem: 1 c
run: main 2: g hi
mem: 2 a
run: main 3: j
run: main 4: k
run: main 5: l")
  (s:stream-address <- init-stream x:string-address)
  (traces:instruction-trace-address-array-address <- parse-traces s:stream-address)
  (2:terminal-address/raw <- init-fake-terminal 17:literal 15:literal)
  (3:space-address/raw/browser-state <- browser-state traces:instruction-trace-address-array-address 3:literal/screen-height)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (4:string-address/raw <- get 2:terminal-address/raw/deref data:offset)
  (first-index-on-page:integer/space:1 <- copy 1:literal)
  (first-subindex-on-page:integer/space:1 <- copy 1:literal)
  (last-index-on-page:integer/space:1 <- copy 3:literal)
  (last-subindex-on-page:integer/space:1 <- copy -2:literal)
  (expanded-index:integer/space:1 <- copy 1:literal)
  (expanded-children:integer/space:1 <- copy 3:literal)
  (to-top 0:space-address/browser-state 2:terminal-address/raw)
  (print-page 0:space-address/browser-state 2:terminal-address/raw)
;?   (replace-character 2:terminal-address/raw ((#\* literal))) ;? 1
  (s:string-address <- new "k\n")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
;?          (+ "   mem : 1 b     "  ; after print-page
;?             "   mem : 1 c     "
;?             "+ main/ 2 : g hi "
;?             "*                "
;?             "                 "))
         (+ "+ main/ 1 : d e f"
            "- main/ 2 : g hi "
            "   mem : 2 a     "
            "                 "
            "                 "))
  (prn "F - process-key expands trace index on a page that starts with a partial expanded trace - 2"))

; expand scenario
; + run: main 0: a b c
;   mem: 0 a
; + run: main 1: d e f
;   mem: 1 a              <- top of page
;   mem: 1 b
;   mem: 1 c              <- bottom of page
; + run: main 2: g hi
;   mem: 2 a
; + run: main 3: j
; + run: main 4: k
; + run: main 5: l
(run-code main30
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  (first-index-on-page:integer/space:1 <- copy 1:literal)
  (first-subindex-on-page:integer/space:1 <- copy 0:literal)
  (last-index-on-page:integer/space:1 <- copy 1:literal)
  (last-subindex-on-page:integer/space:1 <- copy 2:literal)
  (expanded-index:integer/space:1 <- copy 1:literal)
  (expanded-children:integer/space:1 <- copy 3:literal)
  (to-top 0:space-address/browser-state 2:terminal-address/raw)
  (print-page 0:space-address/browser-state 2:terminal-address/raw)
  (s:string-address <- new "k\n")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
;?   (replace-character 2:terminal-address/raw ((#\* literal))) ;? 1
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
;?          (+ "   mem : 1 a     "  ; after print-page
;?             "   mem : 1 b     "
;?             "   mem : 1 c     "
;?             "*                "))
         (+ "+ main/ 1 : d e f"
            "+ main/ 2 : g hi "
            "+ main/ 3 : j    "))
  (prn "F - process-key expands trace index on a page with only subindex lines"))

(run-code main31
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  ; reinitialize
  (first-index-on-page:integer/space:1 <- copy 0:literal)
  (first-subindex-on-page:integer/space:1 <- copy -2:literal)
  (last-index-on-page:integer/space:1 <- copy 2:literal)
  (last-subindex-on-page:integer/space:1 <- copy -2:literal)
  (expanded-index:integer/space:1 <- copy -1:literal)
  (expanded-children:integer/space:1 <- copy -1:literal)
  (to-top 0:space-address/browser-state 2:terminal-address/raw)
  (print-page 0:space-address/browser-state 2:terminal-address/raw)
;?   (replace-character 2:terminal-address/raw ((#\* literal))) ;? 1
  (s:string-address <- new "Jjj\n")
  (k:keyboard-address <- init-keyboard s:string-address)
;?   ($print (("test: first subindex " literal))) ;? 1
;?   ($print first-subindex-on-page:integer/space:1) ;? 1
;?   ($print (("\n" literal))) ;? 1
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
;?   ($print (("test: first subindex 2 " literal))) ;? 1
;?   ($print first-subindex-on-page:integer/space:1) ;? 1
;?   ($print (("\n" literal))) ;? 1
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
;?   ($print (("test: first subindex 3 " literal))) ;? 1
;?   ($print first-subindex-on-page:integer/space:1) ;? 1
;?   ($print (("\n" literal))) ;? 1
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
;?   ($print (("test: first subindex 4 " literal))) ;? 1
;?   ($print first-subindex-on-page:integer/space:1) ;? 1
;?   ($print (("\n" literal))) ;? 1
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
(when (~screen-contains memory*.4 17
         (+ "+ main/ 3 : j    "
            "+ main/ 4 : k    "
            "- main/ 5 : l    "
            "                 "
            "                 "))
  (prn "F - process-key expands final index of trace at bottom of page"))

(run-code main32
  (default-space:space-address <- new space:literal 30:literal/capacity)
  (0:space-address/names:browser-state <- copy 3:space-address/raw/browser-state)
  ; reinitialize
  (first-index-on-page:integer/space:1 <- copy 0:literal)
  (first-subindex-on-page:integer/space:1 <- copy -2:literal)
  (last-index-on-page:integer/space:1 <- copy 2:literal)
  (last-subindex-on-page:integer/space:1 <- copy -2:literal)
  (expanded-index:integer/space:1 <- copy -1:literal)
  (expanded-children:integer/space:1 <- copy -1:literal)
  (to-top 0:space-address/browser-state 2:terminal-address/raw)
  (print-page 0:space-address/browser-state 2:terminal-address/raw)
;?   (replace-character 2:terminal-address/raw ((#\* literal))) ;? 1
  (s:string-address <- new "kk\nJjj")
  (k:keyboard-address <- init-keyboard s:string-address)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (process-key 3:space-address/raw/browser-state k:keyboard-address 2:terminal-address/raw)
  (5:integer-address/raw <- get-address 2:terminal-address/raw/deref cursor-row:offset)
  )
(each routine completed-routines*
  (awhen rep.routine!error
    (prn "error - " it)))
;? (prn (memory* memory*.5)) ;? 1
(when (~is 3 (memory* memory*.5))
  (prn "F - key movement stays within screen bounds, even when no next trace on page"))

(reset2)
;? (print-times) ;? 3