;;; portal-cross-load.lsp — load state written by another implementation

(load "/tmp/cross.sexp")
(display "loaded cross-int=") (display cross-int) (newline)
(display "loaded cross-list=") (display cross-list) (newline)
(display "loaded cross-str=") (display cross-str) (newline)
(display "loaded cross-fib=") (display cross-fib) (newline)

(if (and (= cross-int 777) (= cross-fib 6765) (= (length cross-list) 6))
    (display "PASS: cross-impl S-expression portal round-trip\n")
    (display "FAIL: cross-impl S-expression portal round-trip\n"))
